( en | de | ru )

 

Disambiguierung von "Roveri, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.

, , , und . OVERLAY@AI*IA, Volume 3629 von CEUR Workshop Proceedings, Seite 55-60. CEUR-WS.org, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , und . IJCAI, Seite 473-478. Morgan Kaufmann, (2001)NUSMV: A New Symbolic Model Checker., , , und . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)A Demonstration of BDI-Based Robotic Systems with ROS2., , , und . PAAMS, Volume 13616 von Lecture Notes in Computer Science, Seite 473-479. Springer, (2022)Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements., , , und . OVERLAY@AI*IA, Volume 3629 von CEUR Workshop Proceedings, Seite 55-60. CEUR-WS.org, (2023)Computing unsatisfiable cores for LTLf specifications., , , und . PMAI@IJCAI, Volume 3310 von CEUR Workshop Proceedings, Seite 81-84. CEUR-WS.org, (2022)Verification of parametric system designs., , und . FMCAD, Seite 122-130. IEEE, (2012)When graphs meet game theory: a scalable approach for robotic car racing., , , und . COMPSAC, Seite 1-8. IEEE, (2023)Boosting Lazy Abstraction for SystemC with Partial Order Reduction., , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 341-356. Springer, (2011)Conformant Planning via Symbolic Model Checking., und . J. Artif. Intell. Res., (2000)Software Model Checking with Explicit Scheduler and Symbolic Threads, , und . Logical Methods in Computer Science, (2012)