Up a level |
Number of items: 2.
Avni, Guy, Henzinger, Thomas A, Ibsen-Jensen, Rasmus ORCID: 0000-0003-4783-0389 and Novotný, Petr
(2019)
Bidding Games on Markov Decision Processes.
.
Ditmarsch, Hans van, Gattinger, Malvin, Kokkinis, Ioannis and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2019)
Reachability of Five Gossip Protocols.
In: 13th International Conference on Reachability Problems (RP19).