Results (2)

  • From MTL to deterministic timed automata
    Conference paper
  • Robustness of sequential circuits
    Conference paper