Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

History-deterministic Timed Automata

Sougata Bose ; Thomas A. Henzinger ; Karoliina Lehtinen ; Sven Schewe ; Patrick Totzke.
We explore the notion of history-determinism in the context of timed automata (TA) over infinite timed words. History-deterministic (HD) automata are those in which nondeterminism can be resolved on the fly, based on the run constructed thus far. History-determinism is a robust property that admits&nbsp;[&hellip;]
Published on October 2, 2024
Volume 20, Issue 4
  • < Previous
  • 1
  • Next >