Sign in
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.
Ioannis Filippidis
Sumanth Dathathri
Scott C. Livingston
Necmiye Ozay
Richard M. Murray
Published in:
CCA (2016)
Keyphrases
</>
temporal logic
hybrid systems
model checking
control system
design process
black box
temporally extended
temporally extended goals
learning algorithm
heuristic search
meta learning
discrete event
search algorithm
knowledge representation
mathematical model
belief revision