Login / Signup

Making Metric Temporal Logic Rational.

Shankara Narayanan KrishnaKhushraj MadnaniParitosh K. Pandya
Published in: MFCS (2017)
Keyphrases
  • metric temporal logic
  • learning algorithm
  • decision making
  • cooperative
  • query language