Login / Signup
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