C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Using online verification to prevent autonomous vehicles from causing accidents.
Christian Pek
Stefanie Manzinger
Markus Koschi
Matthias Althoff
Published in:
Nat. Mach. Intell. (2020)
Keyphrases
</>
autonomous vehicles
structured environments
path planning
real time
obstacle avoidance
online learning
route planning
model checking
autonomous agents
long range
artificial intelligence
dynamic environments
complex environments
robot control