Results (2)

  • From MTL to deterministic timed automata
    Conference paper