Results (10)

  • The algorithmic analysis of hybrid systems
    Conference paper
  • A determinizable class of timed automata
    Conference paper
  • Finitary fairness
    Conference paper
  • Verification methods for the divergent runs of clock systems
    Conference paper
  • Proving safety properties of hybrid systems
    Conference paper