Travelled to:1 × Belgium
1 × Canada
1 × Germany
Collaborated with:J.Vöge ∅ N.Buhrke
Talks about:win (2) construct (1) strategi (1) polynomi (1) automata (1) streett (1) program (1) infinit (1) muller (1) condit (1)
Person: Helmut Lescow
DBLP: Lescow:Helmut
Contributed to:
1997
1996
1995Wrote 3 papers:
- WIA-1997-LescowV #automaton #set
- Minimal Separating Sets for Muller Automata (HL, JV), pp. 109–121.
- TACAS-1996-BuhrkeLV #infinity
- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.
- CAV-1995-Lescow #finite #game studies #on the #source code
- On Polynomial-Size Programs Winning Finite-State Games (HL), pp. 239–252.