When to stop verification?: Statistical trade-off between expected loss and simulation cost
暂无分享,去创建一个
[1] A. Prasad Sistla,et al. Monitoring the Full Range of omega-Regular Properties of Stochastic Systems , 2008, VMCAI.
[2] Sumit Gulwani,et al. Synthesizing switching logic for safety and dwell-time requirements , 2010, ICCPS '10.
[3] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[4] Gilles Clermont,et al. Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology , 2009, RECOMB.
[5] Sumit Kumar Jha,et al. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement , 2011, Theor. Comput. Sci..
[6] Marta Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004 .
[7] Clifton A. Ericson,et al. Hazard Analysis Techniques for System Safety , 2005 .
[8] Axel Legay,et al. A Bayesian Approach to Model Checking Biological Systems , 2009, CMSB.
[9] Mahesh Viswanathan,et al. On Statistical Model Checking of Stochastic Systems , 2005, CAV.
[10] Marta Z. Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
[11] Pravin Varaiya,et al. Advances in control, communication networks and transportation systems : in honor of Pravin Varaiya , 2005 .
[12] B. Clarke,et al. Pushing the Limits of Contemporary Statistics: Contributions in Honor of Jayanta K. Ghosh , 2008, 0806.4445.
[13] Todd Millstein,et al. Automatic predicate abstraction of C programs , 2001, PLDI '01.
[14] J. Ghosh. IMS Collections Pushing the Limits of Contemporary Statistics : Contributions in Honor of , 2008 .
[15] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .