Author of the publication

Trust-based human-robot interaction for multi-robot symbolic motion planning.

, , and . IROS, page 1443-1449. IEEE, (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. 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

The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART)., , and . IEEE Trans. Hum. Mach. Syst., 52 (6): 1147-1154 (2022)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)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)The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis., , and . IEEE Trans. Hum. Mach. Syst., 53 (3): 590-599 (2023)Salty-A Domain Specific Language for GR(1) Specifications and Designs., , , , and . ICRA, page 4545-4551. IEEE, (2019)Synthesis of Admissible Shields., , , and . Haifa Verification Conference, volume 10028 of Lecture Notes in Computer Science, page 134-151. (2016)Practical Application of SPARK to OpenUxAS., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 751-761. Springer, (2019)Reports on the 2016 AAAI Fall Symposium Series., , , , , , , , , and . AI Mag., 38 (2): 86-90 (2017)Verification of a Leader Election Protocol for Autonomous Intruder Detection.. Infotech@Aerospace, (2012)