( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.

, , , , и . ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 496-514. (2016)

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)Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies., , , , и . IROS, стр. 9841-9848. IEEE, (2021)Backjumping for Quantified Boolean Logic Satisfiability., , и . IJCAI, стр. 275-281. Morgan Kaufmann, (2001)Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics., , , и . ICALT, стр. 293-294. IEEE Computer Society, (2016)Verification of Neural Networks: Enhancing Scalability Through Pruning., , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2505-2512. IOS Press, (2020)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)A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems., , , и . ECMS, стр. 628-634. European Council for Modeling and Simulation, (2016)*SAT, KSATC, DLP and TA: a comparative analysis., , и . Description Logics, том 22 из CEUR Workshop Proceedings, CEUR-WS.org, (1999)