research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
07/04/2022
Non-Blind Strategies in Timed Network Congestion Games
Network congestion games are a convenient model for reasoning about rout...
research
∙
04/25/2022
Parameterized safety verification of round-based shared-memory systems
We consider the parameterized verification problem for distributed algor...
research
∙
09/28/2020
Dynamic network congestion games
Congestion games are a classical type of games studied in game theory, i...
research
∙
07/03/2020
Active learning of timed automata with unobservable resets
Active learning of timed languages is concerned with the inference of ti...
research
∙
07/02/2020
Incremental methods for checking real-time consistency
Requirements engineering is a key phase in the development process. Ensu...
research
∙
09/17/2019
Reachability Games with Relaxed Energy Constraints
We study games with reachability objectives under energy constraints. We...
research
∙
05/27/2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of on-going b...
research
∙
09/10/2018
Multi-weighted Markov Decision Processes with Reachability Objectives
In this paper, we are interested in the synthesis of schedulers in doubl...
research
∙
07/18/2018
Language Preservation Problems in Parametric Timed Automata
Parametric timed automata (PTA) are a powerful formalism to model and re...
research
∙
02/23/2018
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
Reconfigurable broadcast networks provide a convenient formalism for mod...
research
∙
02/16/2017