Results (4)

  • AMT: a property-based monitoring tool for analog systems
    Conference paper
  • From MITL to Timed Automata
    Conference paper
  • Real Time Temporal Logic: Past, Present, Future
    Conference paper