( en | de | ru )

 

Disambiguierung von "Roveri, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A New Method for Testing Decision Procedures in Modal Logics.

, , und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 264-267. Springer, (1997)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification and analysis of legal contracts with Symboleo., , , , , , , und . Softw. Syst. Model., 21 (6): 2395-2427 (2022)NUSMV: A New Symbolic Model Checker., , , und . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , und . IJCAI, Seite 473-478. Morgan Kaufmann, (2001)A Markovian Model for the Spread of the SARS-CoV-2 Virus., , , und . CoRR, (2022)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)When graphs meet game theory: a scalable approach for robotic car racing., , , und . COMPSAC, Seite 1-8. IEEE, (2023)Verification of parametric system designs., , und . FMCAD, Seite 122-130. IEEE, (2012)Software Model Checking with Explicit Scheduler and Symbolic Threads, , und . Logical Methods in Computer Science, (2012)