Login / Signup

Partially Punctual Metric Temporal Logic is Decidable.

Khushraj MadnaniShankara Narayanan KrishnaParitosh K. Pandya
Published in: TIME (2014)
Keyphrases
  • metric temporal logic
  • decision trees
  • image processing
  • description logics
  • first order logic