research
∙
08/28/2019
Modular Verification of Autonomous Space Robotics
Ensuring that autonomous space robot control software behaves as it shou...
share
research
∙
09/27/2018
Multi-Scale Verification of Distributed Synchronisation
Algorithms for the synchronisation of clocks across networks are both co...
research
∙
06/29/2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Robotic systems are complex and critical: they are inherently hybrid, co...
research
∙
04/03/2014
A Resolution Prover for Coalition Logic
We present a prototype tool for automated reasoning for Coalition Logic,...
research
∙
07/21/1999