18 citations · 34 across the 8 of their papers we have counts for
1 paper · 1 filter
John Jackson, Luca Laurenti, Eric Frew +1
The deployment of autonomous systems that operate in unstructured environments necessitates algorithms to verify their safety. This can be challenging due to, e.g., black-box compo…