Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.

Matthew Hague Roland Meyer Sebastian Muskalla Martin Zimmermann

Published in: CoRR (2018)

Keyphrases

learning systems
artificial intelligence
data structure
building blocks
databases
multimedia
computational complexity
user interface
special case
distributed systems
computer systems
complex systems
model checking
approximation algorithms
embedded systems