activity
20162024
most citedTowards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

29 citations · 30 across the 4 of their papers we have counts for

collaborators

4 papers