Results (11)

  • From MTL to deterministic timed automata
    Conference paper
  • Timed parity games: complexity and robustness
    Conference paper
  • AMT: a property-based monitoring tool for analog systems
    Conference paper
  • From MITL to Timed Automata
    Conference paper
  • Timed alternating-time temporal logic
    Conference paper
  • Real Time Temporal Logic: Past, Present, Future
    Conference paper
  • Automatic rectangular refinement of affine hybrid systems
    Conference paper
  • Quantifying similarities between timed systems
    Conference paper