PSPACE-completeness of an escape problem.

Yasuhiko Takenaga Shigeru Arai

Published in: Inf. Process. Lett. (2008)

Keyphrases

mazurkiewicz traces
temporal logic
multi agent
data quality
decision procedures
data mining
modal logic
complexity bounds