2 papers
cs.LO2026
Computational Complexity of Model-Checking Quantum Pushdown Systems
Deren Lin, Tianrong Lin
In this paper, we study the problem of model-checking quantum pushdown systems from a computational complexity point of view. We arrive at the following equally important, interest…
cs.LO2025
Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
Deren Lin, Tianrong Lin
In this communication, we resolve a longstanding open question in the probabilistic verification of infinite-state systems. We show that model checking {\it stateless probabilistic…