research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
07/15/2022
Zone-based verification of timed automata: extrapolations, simulations and what next?
Timed automata have been introduced by Rajeev Alur and David Dill in the...
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
∙
04/21/2022
The variance-penalized stochastic shortest path problem
The stochastic shortest path problem (SSPP) asks to resolve the non-dete...
research
∙
09/28/2020
Dynamic network congestion games
Congestion games are a classical type of games studied in game theory, i...
research
∙
07/02/2020
Incremental methods for checking real-time consistency
Requirements engineering is a key phase in the development process. Ensu...
research
∙
06/05/2020
Conflict-Based Search for Connected Multi-Agent Path Finding
We study a variant of the multi-agent path finding problem (MAPF) in whi...
research
∙
03/11/2019
Reachability and Coverage Planning for Connected Agents: Extended Version
Motivated by the increasing appeal of robots in information-gathering mi...
research
∙
04/30/2018
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
The paper deals with finite-state Markov decision processes (MDPs) with ...
research
∙
11/29/2017