( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of Diagnosability via Symbolic Model Checking.

, , и . IJCAI, стр. 363-369. Morgan Kaufmann, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alessandro Valeri

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

Alessandro Zivelonghi

Alessandro Nova

Alessandro Topa

Alessandro Mirizzi

 

Другие публикации лиц с тем же именем

Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance., и . ICMAS, стр. 57-64. The MIT Press, (1995)Computational reflection via mechanized logical deduction., и . Int. J. Intell. Syst., 11 (5): 279-293 (1996)Formal Verification of Diagnosability via Symbolic Model Checking., , и . IJCAI, стр. 363-369. Morgan Kaufmann, (2003)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , и . IJCAI, стр. 473-478. Morgan Kaufmann, (2001)Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans., , , , и . CoRR, (2019)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , и . MILS@DSN, Zenodo, (2018)Mechanizing Multi-Agent Reasoning with Belief Contexts., и . FAPR, том 1085 из Lecture Notes in Computer Science, стр. 694-696. Springer, (1996)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 202-213. Springer, (1997)Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2005)Building Efficient Decision Procedures on Top of SAT Solvers., и . SFM, том 3965 из Lecture Notes in Computer Science, стр. 144-175. Springer, (2006)