Back to Results
First PageMeta Content
Finite automata / Temporal logic / Automated planning and scheduling / Linear temporal logic / Theoretical computer science / Neuropsychology / Computational complexity theory / Model checking / Deterministic finite automaton / Finite-state machine / Nondeterministic finite automaton / Algorithm


Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.
Add to Reading List

Document Date: 2016-06-16 07:11:20


Open Document

File Size: 138,84 KB

Share Result on Facebook