Publikationen von Nico Wallmeier
Publikationen am Lehrstuhl für Informatik 7
[HTW08] |
F. Horn, W. Thomas, and N. Wallmeier.
Optimal strategy synthesis for request-response games.
In Proceedings of the 6th International Symposium on Automated
Technology for Verification and Analysis, ATVA 2008, volume 5311 of
Lecture Notes in Computer Science, pages 361-373. Springer, 2008.
(c) Springer. [ pdf | Abstract ] |
[Wal08] |
Nico Wallmeier.
Strategien in unendlichen Spielen mit
Liveness-Gewinnbedingungen : Syntheseverfahren, Optimierung und
Implementierung.
PhD thesis, RWTH Aachen, 2008. [ pdf | http | Abstract ] |
[SATW06] |
C. Schulte Althoff, W. Thomas, and N. Wallmeier.
Observations on determinization of Büchi automata.
Theoretical Computer Science, 363(2):224-233, October 2006. [ pdf | ps | Abstract ] |
[SATW05] |
C. Schulte Althoff, W. Thomas, and N. Wallmeier.
Observations on determinization of Büchi automata.
In Proceedings of the 10th International Conference on the
Implementation and Application of Automata, CIAA 2005, volume 3845 of
Lecture Notes in Computer Science, pages 262-272. Springer, 2005.
(c) Springer. [ pdf | ps | Abstract ] |
[Wal03] |
N. Wallmeier.
Symbolische Synthese zustandsbasierter reaktiver Programme.
Diplomarbeit, RWTH Aachen, 2003. [ pdf | ps ] |
[WHT03] |
N. Wallmeier, P. Hütten, and W. Thomas.
Symbolic synthesis of finite-state controllers for
request-response specifications.
In Proceedings of the 8th International Conference on the
Implementation and Application of Automata, CIAA 2003, volume 2759 of
Lecture Notes in Computer Science, pages 11-22. Springer, 2003.
(c) Springer. [ pdf | ps | Abstract ] |