https://arxiv.org/abs/1405.5596
[1405.5596] Decision Problems for Deterministic Pushdown Automata on Infinite Words
Abstract page for arXiv paper 1405.5596: Decision Problems for Deterministic Pushdown Automata on Infinite Words
pushdown automatadecisionproblems
https://publications.rwth-aachen.de/record/989359
Implementation of an LTL model checker for probabilistic pushdown automata - RWTH Publications
Bamberger, Laura; Katoen, Joost-Pieter; Noll, Thomas; Winkler, Tobias
model checker