https://edurev.in/p/248613/cse-notes-pushdown-automata-context-free-grammar
Equivalence of Pushdown Automata with Context-Free Grammar - Theory
Nov 24, 2022 - Equivalence of Pushdown Automata with Context of Theory of Computation covers all the important topics, helping you prepare for the Computer Science...
pushdown automatacontext freeequivalencegrammartheory
https://www.fit.vut.cz/research/result/c41079/.en
One-Turn Regulated Pushdown Automata and Their Reduction
one turnpushdown automataregulatedreduction
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