J. Esparza, A. Kucera, R. Mayr, Model checking probabilistic pushdown automata, in: Proc. Logic in Computer Science (LICS 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model Checking Probabilistic Pushdown Automata - Esparza, Kucera, Mayr (2004) (1 citation) Self-citation (Esparza Cera Mayr) (Correct)
No context found.
J. Esparza, A. Kui cera, and R. Mayr. Model checking probabilistic pushdown automata. Technical Report FIMU-RS-2004-03, Faculty of Informatics, Masaryk University, 2004.
Verifying Probabilistic Procedural Programs - Esparza, Etessami (2004) (1 citation) Self-citation (Esparza) (Correct)
No context found.
J. Esparza, A. Kucera, and R. Mayr. Model checking probabilistic pushdown automata. In Proceedings of LICS'04, pages 12-21. IEEE Computer Society, 2004. Full version: Tech. report FIMU-RS-200403, Masaryk University, Brno, available online at http://www.fmi.unistuttgart. de/szs/publications/info/esparza.EKM04rep.shtml.
Model Checking Probabilistic Pushdown Automata - Esparza, Kucera, Mayr (2004) (1 citation) Self-citation (Esparza Kucera Mayr) (Correct)
No context found.
J. Esparza, A. Kucera, and R. Mayr. Model checking probabilistic pushdown automata. Technical Report FIMU-RS2004 -03, Faculty of Informatics, Masaryk University, 2004.
A Note on the Attractor-Property - Of Infinite-State Markov (Correct)
No context found.
J. Esparza, A. Kucera, R. Mayr, Model checking probabilistic pushdown automata, in: Proc. Logic in Computer Science (LICS 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC