Login / Signup

Simultaneous model identification and task satisfaction in the presence of temporal logic constraints.

Sandeep P. ChinchaliScott C. LivingstonMarco PavoneJoel W. Burdick
Published in: ICRA (2016)
Keyphrases
  • temporal logic
  • model checking
  • process model
  • distributed systems
  • qualitative and quantitative