Statistical Model Checking: Black or White?

[1]  Arnd Hartmanns,et al.  Optimistic Value Iteration , 2019, CAV.

[2]  Jan Kretínský,et al.  Of Cores: A Partial-Exploration Framework for Markov Decision Processes , 2019, CONCUR.

[3]  Jan Kretínský,et al.  PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games , 2019, CAV.

[4]  Joost-Pieter Katoen,et al.  Sound Value Iteration , 2018, CAV.

[5]  Benjamin Monmege,et al.  Interval iteration algorithm for MDPs and IMDPs , 2017, Theor. Comput. Sci..

[6]  Pedro R. D'Argenio,et al.  Better Automated Importance Splitting for Transient Rare Events , 2017, SETTA.

[7]  Jun Sun,et al.  Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking , 2017, QEST.

[8]  Jan Kretínský,et al.  Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances , 2016, ISoLA.

[9]  Thomas A. Henzinger,et al.  Faster Statistical Model Checking for Unbounded Temporal Properties , 2015, TACAS.

[10]  Mateusz Ujma,et al.  On verification and controller synthesis for probabilistic systems at runtime , 2015 .

[11]  Krishnendu Chatterjee,et al.  Verification of Markov Decision Processes Using Learning Algorithms , 2014, ATVA.

[12]  Marta Z. Kwiatkowska,et al.  The PRISM Benchmark Suite , 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

[13]  Marta Z. Kwiatkowska,et al.  Probabilistic verification of Herman’s self-stabilisation algorithm , 2012, Formal Aspects of Computing.

[14]  Cyrille Jégourel,et al.  Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking , 2012, CAV.

[15]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[16]  Håkan L. S. Younes,et al.  Statistical Verification of Probabilistic Properties with Unbounded Until , 2010, SBMF.

[17]  Samik Basu,et al.  A bounded statistical approach for model checking of unbounded until properties , 2010, ASE.

[18]  Nihal Pekergin,et al.  Statistical Model Checking Using Perfect Simulation , 2009, ATVA.

[19]  Richard Lassaigne,et al.  Probabilistic verification and approximation , 2008, Ann. Pure Appl. Log..

[20]  Krishnendu Chatterjee,et al.  Value Iteration , 2008, 25 Years of Model Checking.

[21]  Geoffrey J. Gordon,et al.  Bounded real-time dynamic programming: RTDP with monotone upper bounds and performance guarantees , 2005, ICML.

[22]  Mahesh Viswanathan,et al.  Statistical Model Checking of Black-Box Probabilistic Systems , 2004, CAV.

[23]  Håkan L. S. Younes,et al.  Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.

[24]  Christel Baier,et al.  Symbolic Model Checking for Probabilistic Processes , 1997, ICALP.

[25]  Andrew G. Barto,et al.  Learning to Act Using Real-Time Dynamic Programming , 1995, Artif. Intell..

[26]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[27]  Ted Herman,et al.  Probabilistic Self-Stabilization , 1990, Information Processing Letters.

[28]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

[29]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[30]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

[31]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[32]  W. Hoeffding.  Probability inequalities for sum of bounded random variables , 1963 .