Login / Signup
Simultaneous model identification and task satisfaction in the presence of temporal logic constraints.
Sandeep P. Chinchali
Scott C. Livingston
Marco Pavone
Joel W. Burdick
Published in:
ICRA (2016)
Keyphrases
</>
temporal logic
model checking
process model
distributed systems
qualitative and quantitative