The objective of this collaborative textbook is to present the state of ...
Blockchain has recently attracted the attention of the industry due, in ...
We consider the parameterized verification problem for distributed algor...
Congestion games are a classical type of games studied in game theory, i...
Decisiveness has proven to be an elegant concept for denumerable Markov
...
Concurrent games with a fixed number of agents have been thoroughly stud...
Broadcast networks allow one to model networks of identical nodes
commun...
The paper deals with finite-state Markov decision processes (MDPs) with
...
Reconfigurable broadcast networks provide a convenient formalism for
mod...