( en | de | ru )

 

Disambiguierung von "Cimatti, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Comprehensive Approach to On-Board Autonomy Verification and Validation.

, , , und . IJCAI, Seite 2398-2403. IJCAI/AAAI, (2011)

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

Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance., und . ICMAS, Seite 57-64. The MIT Press, (1995)Computational reflection via mechanized logical deduction., und . Int. J. Intell. Syst., 11 (5): 279-293 (1996)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , und . MILS@DSN, Zenodo, (2018)Formal Verification of Diagnosability via Symbolic Model Checking., , und . IJCAI, Seite 363-369. Morgan Kaufmann, (2003)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , und . IJCAI, Seite 473-478. Morgan Kaufmann, (2001)Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans., , , , und . CoRR, (2019)NUSMV: A New Symbolic Model Checker., , , und . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)A first-order logic characterization of safety and co-safety languages., , , , und . CoRR, (2022)Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , und . CoRR, (2024)Efficient theory combination via boolean search., , , , , , und . Inf. Comput., 204 (10): 1493-1525 (2006)