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:
CoRR (2023)
Keyphrases
</>
data driven
reachability analysis
model checking
markov decision processes
state space
incremental algorithms
objective function
machine learning
image sequences
modal logic
human behavior