Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rebecca A. Schuller
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
SIAM Journal on Computing
Mathematics
Computer Science
Related publications
Coinductive Algorithms for Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Latticed Simulation Relations and Games
International Journal of Foundations of Computer Science
Computer Science
Latticed Simulation Relations and Games
On Complementing Nondeterministic Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tighter Bounds for the Determinisation of Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learn With SAT to Minimize Büchi Automata
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Efficient On-The-Fly Emptiness Check for Timed Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algorithms for Stochastic Parity Games
