Recursive algorithm for parity games requires exponential time

E-ISSN： 1290-385x|45|4|449-457

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.45, Iss.4, 2012-01, pp. : 449-457

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Real-Time Anomaly Detection Based on a Fast Recursive Kernel RX Algorithm

By Zhao Chunhui Yao Xifeng Huang Bormin

Remote Sensing, Vol. 8, Iss. 12, 2016-12 ,pp. : 1011-1011

MDPI

Access to resources Recommend Favorite

Permissive strategies: from parity games to safety games

By Bernet Julien Janin David Walukiewicz Igor

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 3, 2010-03 ,pp. : 261-275

Edp Sciences

Access to resources Recommend Favorite

μ-Bicomplete Categories and Parity Games

By Santocanale Luigi

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 2, 2010-03 ,pp. : 195-227

Edp Sciences

Access to resources Recommend Favorite

A recursive algorithm for digital filters to reduce the number of multipliers

By Nakajima H. Tohyama M. Tanaka M.

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1996, Iss. 3, 1996-08 ,pp. : 2801-2804

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Parity and time-reversal violation in A=2-4 nuclei

EPJ Web of Conference, Vol. 66, Iss. issue, 2014-03 ,pp. : 05014-05014

Edp Sciences

Access to resources Recommend Favorite