research
∙
07/19/2023
LTL Synthesis on Infinite-State Arenas defined by Programs
This paper deals with the problem of automatically and correctly control...
share
research
∙
01/17/2022
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
Reconfigurable multi-agent systems consist of a set of autonomous agents...
research
∙
07/02/2021
Incorporating Monitors in Reactive Synthesis without Paying the Price
Temporal synthesis attempts to construct reactive programs that satisfy ...
research
∙
08/24/2017