Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes.

August Söderlund Frank J. Jiang Vandana Narri Amr Alanwar Karl Henrik Johansson

Published in: ITSC (2023)

Keyphrases

data driven
reachability analysis
model checking
markov decision processes
object detection
temporal logic
human behavior
behavior analysis
timed automata
state space
low cost
incremental algorithms
real time
knowledge representation