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. |