Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesis of Admissible Shields., , , and . Haifa Verification Conference, volume 10028 of Lecture Notes in Computer Science, page 134-151. (2016)End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK., , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 60-76. Springer, (2020)Salty-A Domain Specific Language for GR(1) Specifications and Designs., , , , and . ICRA, page 4545-4551. IEEE, (2019)When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 366-375. Springer, (2019)Trust-based human-robot interaction for multi-robot symbolic motion planning., , and . IROS, page 1443-1449. IEEE, (2016)Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles., , and . AAAI Spring Symposia, AAAI Press, (2014)Automated UAV tasks for search and surveillance., , and . CCA, page 1-8. IEEE, (2016)Reports on the 2016 AAAI Fall Symposium Series., , , , , , , , , and . AI Mag., 38 (2): 86-90 (2017)Practical Application of SPARK to OpenUxAS., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 751-761. Springer, (2019)A Formal Method for Assessing Mental Workload., , and . SMC, page 5255-5260. IEEE, (2023)