Statistical Verification of Probabilistic Long-Run Properties ?
暂无分享,去创建一个
[1] Håkan L. S. Younes. Error Control for Probabilistic Model Checking , 2006, VMCAI.
[2] Mahesh Viswanathan,et al. On Statistical Model Checking of Stochastic Systems , 2005, CAV.
[3] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[4] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[5] Mahesh Viswanathan,et al. Statistical Model Checking of Black-Box Probabilistic Systems , 2004, CAV.
[6] Håkan L. S. Younes,et al. Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study , 2004, TACAS.
[7] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[8] Håkan L. S. Younes,et al. Verification and planning for stochastic processes with asynchronous events , 2004 .
[9] Frits W. Vaandrager,et al. Cost-optimization of the IPv4 zeroconf protocol , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
[10] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[11] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.
[12] Joost-Pieter Katoen,et al. Beyond Memoryless Distributions: Model Checking Semi-Markov Chains , 2001, PAPM-PROBMIV.
[13] Christel Baier,et al. Symbolic Model Checking for Probabilistic Processes , 1997, ICALP.
[14] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[15] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[16] William J. Stewart,et al. Introduction to the numerical solution of Markov Chains , 1994 .
[17] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[18] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[19] B. K. Ghosh,et al. Sequential Tests of Statistical Hypotheses. , 1972 .
[20] H. Robbins,et al. ON THE ASYMPTOTIC THEORY OF FIXED-WIDTH SEQUENTIAL CONFIDENCE INTERVALS FOR THE MEAN. , 1965 .
[21] J. M. Hammersley,et al. Solution of Linear Operator Equations , 1964 .
[22] C. Hastings. Approximations for digital computers , 1955 .
[23] R. A. Leibler,et al. Matrix inversion by a Monte Carlo method , 1950 .