Publikationen von Jens Vöge

Publikationen am Lehrstuhl für Informatik 7

[LV00] H. Lescow and J. Vöge. Minimal separating sets for transformations of omega-automata. Theoretical Computer Science, 231:47-58, 2000.
[SV00a] D. Schmitz and J. Vöge. Implementation of a strategy improvement algorithm for parity games. In Proceedings of the fifth International conference on Implementation and Application of Automata, pages 45-51, 2000.
[ ps ]
[SV00b] D. Schmitz and J. Vöge. The package omega. Manual, RWTH Aachen, 2000.
[ ps ]
[Vög00] J. Vöge. Strategiesynthese für Paritätsspiele auf endlichen Graphen. PhD thesis, RWTH Aachen, 2000.
[ pdf ]
[VJ00a] J. Vöge and M. Jurdzinski. A discrete strategy improvement algorithm for solving parity games. In Proceedings of the 12th International Conference on Computer Aided Verification, CAV, volume 1855 of Lecture Notes in Computer Science, pages 202-215. Springer, 2000. (c) Springer.
[ ps ]
[VJ00b] J. Vöge and M. Jurdzinski. A discrete strategy improvement algorithm for solving parity games. Technical Report AIB-2000-2, RWTH Aachen, 2000.
[ ps ]
[BMUV97] N. Buhrke, O. Matz, S. Ulbrand, and J. Vöge. The automata theory package omega. In Proceedings of the 2nd International Workshop on Implementing Automata (WIA), volume 1436 of Lecture Notes in Computer Science, pages 228-231. Springer, 1997. (c) Springer.
[BTV97] N. Buhrke, W. Thomas, and J. Vöge. Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. In Formale Beschreibungstechniken für verteilte Systeme, volume 315 of GMD-Studien, pages 99-108, 1997.
[LV97] H. Lescow, , and J. Vöge. Minimal seperating sets for Muller automata. In Proceedings of the 2nd International Workshop on Implementing Automata (WIA), volume 1436 of Lecture Notes in Computer Science, pages 109-121. Springer, 1997. (c) Springer.
[BLV96] N. Buhrke, H. Lescow, , and J. Vöge. Strategy construction in infinite games with Streett and Rabin chain winning conditions. In Proceeding of the International Conference on Tools and Algorithms for Construction and Analysis of Systems,, volume 1055 of Lecture Notes in Computer Science, pages 207-225. Springer, 1996. (c) Springer.