Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation - United States
doi 10.1016/j.ic.2019.05.004
Full Text
Open PDFAbstract
Available in full text
Categories
Date
October 1, 2019
Authors
Publisher
Elsevier BV