Login / Signup

Learning-Based Model Predictive Control Under Signal Temporal Logic Specifications.

Kyunghoon ChoSonghwai Oh
Published in: ICRA (2018)
Keyphrases
  • temporal logic
  • learning algorithm
  • model checking
  • artificial intelligence
  • artificial neural networks
  • modal logic
  • satisfiability problem
  • concurrent systems
  • transition systems