Jens Vöge

According to our database, Jens Vöge authored at least 7 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Minimal Separating Sets for Acceptance Conditions in Muller Automata.

Helmut Lescow, Jens Vöge

Theor. Comput. Sci., 2000

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games.

Dominik Schmitz, Jens Vöge

Proceedings of the Implementation and Application of Automata, 2000

A Discrete Strategy Improvement Algorithm for Solving Parity Games.

Jens Vöge, Marcin Jurdzinski

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1997

The Automata Theory Package <i>omega</i>.

Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke

Proceedings of the Automata Implementation, 1997

Minimal Separating Sets for Muller Automata.

Helmut Lescow, Jens Vöge

Proceedings of the Automata Implementation, 1997

Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.

Nils Buhrke, Wolfgang Thomas, Jens Vöge

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.

Nils Buhrke, Helmut Lescow, Jens Vöge

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996