research
∙
09/28/2022
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
One of the challenges in designing safe, reliable and trustworthy Autono...
share
research
∙
09/28/2022
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
Autonomous systems control many tasks in our daily lives. To increase tr...
research
∙
08/10/2022
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V V Process
Automated Vehicles (AVs) are rapidly maturing in the transportation doma...
research
∙
10/25/2021
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules
During the design of autonomous vehicles (AVs), several stages should in...
research
∙
08/13/2019
Towards Self-Explainable Cyber-Physical Systems
With the increasing complexity of CPSs, their behavior and decisions bec...
research
∙
04/12/2018
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
With Multi-lane Spatial Logic (MLSL) a powerful approach to formally rea...
research
∙
09/08/2017
