research
∙
07/10/2023
Model-checking parametric lock-sharing systems against regular constraints
In parametric lock-sharing systems processes can spawn new processes to ...
share
research
∙
04/26/2022
Distributed controller synthesis for deadlock avoidance
We consider the distributed control synthesis problem for systems with l...
research
∙
10/06/2021
Active Learning for Sound Negotiations
We present two active learning algorithms for sound deterministic negoti...
research
∙
01/20/2021
One-way resynchronizability of word transducers
The origin semantics for transducers was proposed in 2014, and led to va...
research
∙
01/17/2020