research
∙
05/03/2023
History-deterministic Vector Addition Systems
We consider history-determinism, a restricted form of non-determinism, f...
share
research
∙
04/06/2023
History-deterministic Timed Automata
We explore the notion of history-determinism in the context of timed aut...
research
∙
01/20/2021
