Nico Wallmeier
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Optimal strategy synthesis for request-response games RAIRO. Theoretical Informatics and Applications | 2016-01-22 | Paper |
| Symbolic synthesis of finite-state controllers for request-response specifications Implementation and Application of Automata | 2010-05-07 | Paper |
| Optimal strategy synthesis in request-response games Lecture Notes in Computer Science | 2008-11-20 | Paper |
| Observations on determinization of Büchi automata Theoretical Computer Science | 2007-01-09 | Paper |
| Implementation and Application of Automata Lecture Notes in Computer Science | 2006-11-13 | Paper |
Research outcomes over time
This page was built for person: Nico Wallmeier
