research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
06/09/2022
Holistic Verification of Blockchain Consensus
Blockchain has recently attracted the attention of the industry due, in ...
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
∙
08/24/2020
Taming denumerable Markov decision processes with decisiveness
Decisiveness has proven to be an elegant concept for denumerable Markov ...
research
∙
08/09/2020
Synthesizing safe coalition strategies
Concurrent games with a fixed number of agents have been thoroughly stud...
research
∙
12/15/2019
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Broadcast networks allow one to model networks of identical nodes commun...
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
∙
02/23/2018
