research
∙
07/13/2023
A Local-Time Semantics for Negotiations
Negotiations, introduced by Esparza et al., are a model for concurrent s...
share
research
∙
07/15/2022
Zone-based verification of timed automata: extrapolations, simulations and what next?
Timed automata have been introduced by Rajeev Alur and David Dill in the...
research
∙
09/28/2020
Reachability for Updatable Timed Automata made faster and more effective
Updatable timed automata (UTA) are extensions of classic timed automata ...
research
∙
02/23/2020
A Bridge between Polynomial Optimization and Games with Imperfect Recall
We provide several positive and negative complexity results for solving ...
research
∙
07/04/2019
Revisiting local time semantics for networks of timed automata
We investigate a zone based approach for the reachability problem in tim...
research
∙
04/18/2019
Fast algorithms for handling diagonal constraints in timed automata
A popular method for solving reachability in timed automata proceeds by ...
research
∙
06/28/2018
