280 citations · 343 across the 8 of their papers we have counts for
9 papers
Modular Verification of Autonomous Space Robotics
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis +6
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentia…
Multi-Scale Verification of Distributed Synchronisation
Paul Gainer, Sven Linker, Clare Dixon +2
Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algori…
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Matt Luckcuck, Marie Farrell, Louise Dennis +2
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testin…
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
Paul Gainer, Sven Linker, Clare Dixon +2
We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach…
A Corroborative Approach to Verification and Validation of Human--Robot Teams
Matt Webster, David Western, Dejanira Araiza-Illan +4
We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through…
Clausal Resolution for Modal Logics of Confluence
Cláudia Nalon, João Marcos, Clare Dixon
We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Ch…