Author of the publication

: A Resolution-Based Prover for Multimodal K.

, , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 406-415. Springer, (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

A Graph-Based Approach to Resolution in Temporal Logic., , and . ICTL, volume 827 of Lecture Notes in Computer Science, page 415-429. Springer, (1994)Verifiable autonomy: From theory to applications., , and . AI Commun., 35 (4): 421-431 (2022)Analysing robot swarm behaviour via probabilistic model checking., , and . Robotics Auton. Syst., 60 (2): 199-213 (2012)On and On the Temporal Way., and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)Efficient First-Order Temporal Logic for Infinite-State Systems, , , and . CoRR, (2007)An Assurance-based Approach to Verification and Validation of Human-Robot Teams., , , , , , and . CoRR, (2016)Exploring the effects of environmental conditions and design choices on IoT systems using formal methods., , , , and . J. Comput. Sci., (2020)Formal Verification of Probabilistic Swarm Behaviours., , and . ANTS Conference, volume 6234 of Lecture Notes in Computer Science, page 440-447. Springer, (2010)"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours., , , , and . TAROS, volume 8717 of Lecture Notes in Computer Science, page 97-108. Springer, (2014)Implementing Durative Actions with Failure Detection in Gwendolen., , , and . EMAS@AAMAS, volume 13190 of Lecture Notes in Computer Science, page 332-351. Springer, (2021)