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
∙
06/13/2023
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Effectively specifying and implementing robotic missions pose a set of c...
research
∙
01/03/2023
Correct-by-Design Teamwork Plans for Multi-Agent Systems
We propose Teamwork Synthesis, a version of the distributed synthesis pr...
research
∙
07/01/2022
A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata
Algorithms for model checking and satisfiability of the modal μ-calculus...
research
∙
02/25/2022
Actions over Core-closed Knowledge Bases
We present new results on the application of semantic- and knowledge-bas...
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/30/2021
Interleaving Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Reconfigurable interaction induces another dimension of nondeterminism i...
research
∙
07/02/2021
Incorporating Monitors in Reactive Synthesis without Paying the Price
Temporal synthesis attempts to construct reactive programs that satisfy ...
research
∙
04/22/2021
Modelling and Verification of Reconfigurable Multi-Agent Systems
We propose a formalism to model and reason about reconfigurable multi-ag...
research
∙
09/11/2020
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
A controller for a Discrete Event System must achieve its goals despite ...
research
∙
06/26/2019
A Computational Framework for Adaptive Systems and its Verification
Modern computer systems are inherently distributed and feature autonomou...
research
∙
02/14/2019
Environmentally-friendly GR(1) Synthesis
Many problems in reactive synthesis are stated using two formulas ---an ...
research
∙
04/10/2018
Coverability: Realizability Lower Bounds
We introduce the problem of temporal coverability for realizability and ...
research
∙
04/10/2018