Results (20)

  • Model measuring for hybrid systems
    Conference paper
  • Edit distance for timed automata
    Conference paper