FMAS2019: FORMAL METHODS FOR AUTONOMOUS SYSTEMS

This page contains an index consisting of author-provided keywords.

A
Agents	An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles
autonomous cars	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
Autonomous Driving	CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
Autonomous Vehicles	An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles
C
Critical Scenarios	CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
Cyber-Physical Systems	Towards a Mission Definition, Verification and Validation Toolchain
D
distributed scheduling	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
Domain Specific Language	Towards a Mission Definition, Verification and Validation Toolchain
F
fairness	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
Formal Methods	CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
M
Mission Definition Framework	Towards a Mission Definition, Verification and Validation Toolchain
MLSL	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
Model Checking	An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles
T
Teleo-reactive programs	Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
Temporal logic	Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
timed automata	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
U
UPPAAL Stratego	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
urban traffic manoeuvres	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
V
Verification	Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
Verification and Validation	Towards a Mission Definition, Verification and Validation Toolchain

Disclaimer | Powered by EasyChair Smart Program