< Back to previous page
Project
Safe and Dependable Autonomous Systems - Formal Specification and Verification
This thesis will study the formal specification and verification of autonomous decision making of agents, accounting for safety constraints, in a context of non-deterministic actions and perception. This research may evolve towards bounded model checking or correct-by- construction policy generation. The results will be validated in a joint use case on the autonomous mobile robot.
Date:8 Mar 2021 → Today
Keywords:Formal Specification, Formal Verification, Autonomous Systems
Disciplines:Computer science
Project type:PhD project