5 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
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…