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

Matthew Hague Roland Meyer Sebastian Muskalla Martin Zimmermann

Published in: MFCS (2018)

Keyphrases

management system
model checking
machine learning
decision making
computational complexity
expert systems
complex systems
database
information retrieval
multi agent
search algorithm
mobile devices
special case
computer systems
error correction
computing systems