Formal Methods Meet Autonomous Systems: a Journey on a Two-Year Research Collaboration with Industry (abstract)

An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles (abstract)

CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles (abstract)

Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections (abstract)

Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs (abstract)

Runtime Reasoning that Really Flies (abstract)

Towards a Mission Definition, Verification and Validation Toolchain (abstract)