Alternating tree automata and parity games

Authors:
Daniel Kirsten
Affiliations:
Institut für Algebra, Technische Universität Dresden
Venue:
Automata logics, and infinite games
Year:
2002

Citing 0
Cited 2

Combining supervisor synthesis and model checking

ACM Transactions on Embedded Computing Systems (TECS)
Solving parity games on integer vectors

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract