FMAS2019: FORMAL METHODS FOR AUTONOMOUS SYSTEMS

A
Alves, Gleifer	An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles
B
Bischopink, Christopher	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
C
Ciarletta, Laurent	Towards a Mission Definition, Verification and Validation Toolchain
Clark, Keith	Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
D
Dennis, Louise	An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles
Dongol, Brijesh	Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
F
Fisher, Michael	An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles
K
Klusch, Matthias	CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
M
Menghi, Claudio	Formal Methods Meet Autonomous Systems: a Journey on a Two-Year Research Collaboration with Industry
Moreau, Pierre-Etienne	Towards a Mission Definition, Verification and Validation Toolchain
Mueller, Christian	CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
N
Nonnengart, Andreas	CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
R
Robinson, Peter	Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
Rozier, Kristin	Runtime Reasoning that Really Flies
S
Schwammberger, Maike	Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
V
Viard, Louis	Towards a Mission Definition, Verification and Validation Toolchain

Disclaimer | Powered by EasyChair Smart Program