Travelled to:1 × Greece
Collaborated with:K.Etessami T.Wilke
Talks about:automata (1) reduct (1) pariti (1) state (1) space (1) simul (1) relat (1) büchi (1) game (1) fair (1)
Person: Rebecca A. Schuller
DBLP: Schuller:Rebecca_A=
Contributed to:
2001Wrote 1 papers:
- ICALP-2001-EtessamiWS #automaton #game studies #reduction #simulation
- Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (KE, TW, RAS), pp. 694–707.