Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 5.


Wojtczak, DK ORCID: 0000-0001-5560-0546
(2014) Automated Analysis of Probabilistic Infinite-state Systems. In: 15th International Workshop on Verification of Infinite-State Systems.


Wojtczak, DK ORCID: 0000-0001-5560-0546 and Simon, Sunil
(2017) Constrained Pure Nash Equilibria in Polymatrix Games. In: EUMAS 2017.


Simon, S and Wojtczak, DK ORCID: 0000-0001-5560-0546
(2016) Efficient Local Search in Coordination Games on Graphs. In: 25th International Joint Conference on Artificial Intelligence IJCAI-16.


Hahn, EM, Perez, Mateo, Schewe, S ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, DK ORCID: 0000-0001-5560-0546
(2019) Omega-Regular Objectives in Model-Free Reinforcement Learning. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019-04-06 - 2019-04-11, Prague, Czech Republic.


Wojtczak, DK ORCID: 0000-0001-5560-0546 and Simon, Sunil
(2017) Synchronisation Games on Hypergraphs. In: EUMAS 2017.

This list was generated on Sun Apr 18 03:24:59 2021 BST.