( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Comprehensive Approach to On-Board Autonomy Verification and Validation.

, , , и . IJCAI, стр. 2398-2403. IJCAI/AAAI, (2011)

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 Nova

Alessandro Zivelonghi

Alessandro Mirizzi

Alessandro Topa

 

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

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)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , и . MILS@DSN, Zenodo, (2018)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)NUSMV: A New Symbolic Model Checker., , , и . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)A first-order logic characterization of safety and co-safety languages., , , , и . CoRR, (2022)Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , и . CoRR, (2024)Efficient theory combination via boolean search., , , , , , и . Inf. Comput., 204 (10): 1493-1525 (2006)