Good for Games Automata: From Nondeterminism to Alternation (2019)

First Author: Boker U

Attributed to: Solving Parity Games in Theory and Practice funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1906.11624

Publication URI: https://arxiv.org/abs/1906.11624

Type: Preprint