( en | de | ru )

 

Disambiguierung von "Cimatti, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Searching for i-Good Lemmas to Accelerate Safety Model Checking.

, , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 288-308. Springer, (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.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Nova

Alessandro Zivelonghi

Alessandro Topa

Alessandro Mirizzi

 

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)Formal Verification of Diagnosability via Symbolic Model Checking., , und . IJCAI, Seite 363-369. Morgan Kaufmann, (2003)Analysis of Cyclic Fault Propagation via ASP., , , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 470-483. Springer, (2022)NUSMV: A New Symbolic Model Checker., , , und . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)Automatic Discovery of Fair Paths in Infinite-State Transition Systems., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 32-47. Springer, (2021)Reverse engineering with P-stable Abstractions., , und . OVERLAY@GandALF, Volume 2987 von CEUR Workshop Proceedings, Seite 91-95. CEUR-WS.org, (2021)Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , und . CoRR, (2024)A first-order logic characterization of safety and co-safety languages., , , , und . CoRR, (2022)Mechanizing Multi-Agent Reasoning with Belief Contexts., und . FAPR, Volume 1085 von Lecture Notes in Computer Science, Seite 694-696. Springer, (1996)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , und . MILS@DSN, Zenodo, (2018)