Autonomous systems with machine learning components will inevitably be used in environments that can potentially harm humans or the environment.
The project will study formal verification techniques and develop novel methods that provide evidence that such future systems behave as intended. Among properties of interest are robustness, decisiveness and correctness with respect to the intended function.