An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. (2018)
Attributed to:
Energy Efficient Control
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.17638/03023722
Publication URI: http://livrepository.liverpool.ac.uk/id/eprint/3023722
Type: Other