Login / Signup

Interpretable apprenticeship learning with temporal logic specifications.

Daniel KasenbergMatthias Scheutz
Published in: CDC (2017)
Keyphrases
  • temporal logic
  • model checking
  • concurrent systems
  • modal logic
  • bounded model checking
  • cognitive apprenticeship
  • satisfiability problem
  • formal specification
  • transition systems