Rebecca A. Schuller

According to our database, Rebecca A. Schuller authored at least 2 papers between 2001 and 2005.

Collaborative distances:

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

2005

Fair Simulation Relations, Parity Games, and State Space Reduction for Bu"chi Automata.

Kousha Etessami, Thomas Wilke, Rebecca A. Schuller

SIAM J. Comput., 2005

2001

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata.

Kousha Etessami, Thomas Wilke, Rebecca A. Schuller

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001