Login / Signup
Safe navigation through waterways of time-varying depth based on reachability analysis.
Juan M. Nadales
David Muñoz de la Peña
Daniel Limón
Teodoro Alamo
Published in:
ECC (2023)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
information space
state space
depth map
depth information
temporal logic
indoor environments
website
search algorithm
computational complexity