( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robot Swarms as Hybrid Systems: Modelling and Verification.

, , , , и . SNR, том 361 из EPTCS, стр. 61-77. (2021)

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.

Paolo Tacchella

Armando Garcia

Armando Torres

Armando Moschetti

Armando Beccaria

 

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

How to Abstract Intelligence? (If Verification Is in Order)., , , и . AAAI Fall Symposia, AAAI Press, (2013)Backjumping for Quantified Boolean Logic Satisfiability., , и . IJCAI, стр. 275-281. Morgan Kaufmann, (2001)Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies., , , , и . IROS, стр. 9841-9848. IEEE, (2021)On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper., , , , , , , , , и 3 other автор(ы). ANT/SEIT, том 32 из Procedia Computer Science, стр. 941-946. Elsevier, (2014)More Evaluation of Decision Procedures for Modal Logics., , , и . KR, стр. 626-635. Morgan Kaufmann, (1998)Automata based test generation with SpecPro., , , и . RET@ICSE, стр. 13-16. IEEE / ACM, (2019)Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control., , , и . ECMS, стр. 310-316. European Council for Modeling and Simulation, (2022)Communications of the ECMS, Volume 36, Issue 1, June 2022.A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems., , , и . ECMS, стр. 628-634. European Council for Modeling and Simulation, (2016)Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems., , и . ECMS, стр. 543-549. European Council for Modeling and Simulation, (2017)*SAT, KSATC, DLP and TA: a comparative analysis., , и . Description Logics, том 22 из CEUR Workshop Proceedings, CEUR-WS.org, (1999)