collaborators

1 paper

math.OC2022

A Tree Structure Approach to Reachability Analysis

Alessandro Alla, Peter M. Dower, Vincent Liu

Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However, general-purpose methods, such as Hamil…