Login / Signup

Interpretable Policies from Formally-Specified Temporal Properties.

Jonathan DeCastroKaren LeungNikos AréchigaMarco Pavone
Published in: ITSC (2020)
Keyphrases
  • temporal properties
  • model checking
  • possibility theory
  • formal methods
  • optimal policy
  • temporal logic
  • neural network
  • cooperative
  • pattern recognition
  • multi agent systems
  • query language
  • fixed point