Results (4)

  • Monitoring temporal logic with clock variables
    Conference paper
  • From MTL to deterministic timed automata
    Conference paper