Login / Signup
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.
Frank J. Jiang
Kaj Munhoz Arfvidsson
Chong He
Mo Chen
Karl Henrik Johansson
Published in:
CoRR (2024)
Keyphrases
</>
temporal logic
model checking
hamilton jacobi
modal logic
computation tree logic
verification method
belief revision
linear temporal logic
mazurkiewicz traces
formal specification language
reactive systems
temporal knowledge
temporally extended goals
computer vision
finite state
medial axis
image processing