research
∙
03/17/2022
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
Synthesis consists in deciding whether a given labeled transition system...
share
research
∙
11/18/2019
Dynamic exploration of multi-agent systems with timed periodic tasks
We formalise and study multi-agent timed models MAPTs (Multi-Agent with ...
research
∙
10/31/2019
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond
In previous studies, several methods have been developed to synthesise P...
research
∙
12/18/2007