Author of the publication

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.

, , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 224-239. Springer, (2017)

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)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)On and On the Temporal Way., and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)"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)Formal Verification of Probabilistic Swarm Behaviours., , and . ANTS Conference, volume 6234 of Lecture Notes in Computer Science, page 440-447. Springer, (2010)