Hierarchical information patterns and distributed strategy synthesis D Berwanger, AB Mathew, M Van den Bogaard International Symposium on Automated Technology for Verification and …, 2015 | 17 | 2015 |
Hierarchical information and the synthesis of distributed strategies D Berwanger, AB Mathew, M van den Bogaard Acta Informatica 55, 669-701, 2018 | 14 | 2018 |
Infinite games with finite knowledge gaps D Berwanger, AB Mathew Information and Computation 254, 217-237, 2017 | 9 | 2017 |
Games with recurring certainty D Berwanger, AB Mathew arXiv preprint arXiv:1404.7770, 2014 | 5 | 2014 |
Some Decidable classes of the distributed synthesis problem [HBNI Th128] AB Mathew The Institute of Mathematical Sciences, 2017 | | 2017 |
A Retraction Theorem for Distributed Synthesis D Berwanger, AB Mathew, R Ramanujam arXiv preprint arXiv:1604.07564, 2016 | | 2016 |
Recurrent certainty in games of partial information AB Mathew, D Berwanger | | 2013 |