Algorithmic Verification of Recursive Probabilistic State Machines
暂无分享,去创建一个
[1] Javier Esparza,et al. Model checking probabilistic pushdown automata , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[2] Rajeev Alur,et al. Analysis of recursive state machines , 2001, TOPL.
[3] J. Renegar,et al. On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I , 1989 .
[4] Marie-Françoise Roy,et al. On the combinatorial and algebraic complexity of Quanti erEliminationS , 1994 .
[5] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[6] T. E. Harris,et al. The Theory of Branching Processes. , 1963 .
[7] James Renegar,et al. On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination , 1992, J. Symb. Comput..
[8] Ronald L. Graham,et al. Some NP-complete geometric problems , 1976, STOC '76.
[9] Tomás Brázdil,et al. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata , 2005, STACS.
[10] Marta Z. Kwiatkowska,et al. Model checking for probability and time: from theory to practice , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[11] John F. Canny,et al. Some algebraic and geometric computations in PSPACE , 1988, STOC '88.
[12] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[13] Kousha Etessami,et al. Verifying Probabilistic Procedural Programs , 2004, FSTTCS.
[14] Sriram K. Rajamani,et al. Bebop: A Symbolic Model Checker for Boolean Programs , 2000, SPIN.
[15] Prasoon Tiwari,et al. A problem that is easier to solve on the unit-cost algebraic RAM , 1992, J. Complex..
[16] Javier Esparza,et al. Efficient Algorithms for Model Checking Pushdown Systems , 2000, CAV.
[17] Hinrich Schütze,et al. Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.
[18] Michael Benedikt,et al. Model Checking of Unrestricted Hierarchical State Machines , 2001, ICALP.
[19] Amir Pnueli,et al. Probabilistic Verification , 1993, Information and Computation.