( en | de | ru )

 

Disambiguierung von "Cimatti, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.

, , und . AAAI/IAAI, Seite 875-881. AAAI Press / The MIT Press, (1998)

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 Busà

Alessandro Manfredini

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans., , , , und . CoRR, (2019)Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance., und . ICMAS, Seite 57-64. The MIT Press, (1995)Mechanizing Multi-Agent Reasoning with Belief Contexts., und . FAPR, Volume 1085 von Lecture Notes in Computer Science, Seite 694-696. Springer, (1996)An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 317-333. Springer, (2005)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 202-213. Springer, (1997)Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 335-349. Springer, (2005)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)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , und . SAFECOMP, Volume 1516 von Lecture Notes in Computer Science, Seite 221-230. Springer, (1998)Building Efficient Decision Procedures on Top of SAT Solvers., und . SFM, Volume 3965 von Lecture Notes in Computer Science, Seite 144-175. Springer, (2006)