It Usually Works: The Temporal Logic of Stochastic Systems
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Characterizing Kripke Structures in Temporal Logic , 1987, TAPSOFT, Vol.1.
[2] Ioannis Z. Emiris,et al. Sparse elimination and applications in kinematics , 1994 .
[3] Zoltán Ésik,et al. Iteration Theories of Synchronization Trees , 1993, Inf. Comput..
[4] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.
[5] Mihalis Yannakakis,et al. Verifying temporal properties of finite-state probabilistic programs , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
[6] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[7] D. Vere-Jones. Markov Chains , 1972, Nature.
[8] Amir Pnueli,et al. Probabilistic Verification , 1993, Information and Computation.
[9] Rajeev Alur,et al. Model-Checking for Probabilistic Real Time Systems , 1991 .
[10] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[11] Micha Sharir,et al. Verification of Probabilistic Programs , 1984, SIAM J. Comput..
[12] Micha Sharir,et al. Probabilistic temporal logics for finite and bounded models , 1984, STOC '84.
[13] R. I. Bahar,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[14] Rance Cleaveland,et al. Testing Preorders for Probabilistic Processes , 1992, ICALP.
[15] Alberto Sangiovanni-Vincentelli,et al. Equivalences for Fair Kripke Structures , 1994, ICALP.