Reoptimization of parameterized problems

por Böckenhauer, Hans-Joachim, Burjons, Elisabet, Raszyk, Martin, Rossmanith, Peter
Publicado 2022

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

por Basin, David, Dardinier, Thibault, Heimes, Lukas, Krstić, Srđan, Raszyk, Martin, Schneider, Joshua, Traytel, Dmitriy
Publicado 2020