1 citations · 2 across the 8 of their papers we have counts for
3 papers · 1 filter
Parity Games on Temporal Graphs
Pete Austin, Sougata Bose, Patrick Totzke
Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the…
History-deterministic Vector Addition Systems
Sougata Bose, David Purser, Patrick Totzke
We consider history-determinism, a restricted form of non-determinism, for Vector Addition Systems with States (VASS) when used as acceptors to recognise languages of finite words.…
History-deterministic Timed Automata
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen +2
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…