Probabilistic Timed Automata with Clock-Dependent Probabilities
暂无分享,去创建一个
[1] Eugene Asarin,et al. Thin and Thick Timed Regular Languages , 2011, FORMATS.
[2] Ernst Moritz Hahn,et al. Model checking stochastic hybrid systems , 2012 .
[3] Patricia Bouyer,et al. On the optimal reachability problem in weighted timed automata and games , 2015, NCMA.
[4] Marta Z. Kwiatkowska,et al. Performance analysis of probabilistic timed automata using digital clocks , 2003, Formal Methods Syst. Des..
[5] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[6] Marta Z. Kwiatkowska,et al. A game-based abstraction-refinement framework for Markov decision processes , 2010, Formal Methods Syst. Des..
[7] Kim G. Larsen,et al. Optimal infinite scheduling for multi-priced timed automata , 2008, Formal Methods Syst. Des..
[8] Alessandro Abate,et al. On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context , 2017, FoSSaCS.
[9] Marvin Minsky,et al. Computation : finite and infinite machines , 2016 .
[10] J. Kemeny,et al. Denumerable Markov chains , 1969 .
[11] Patricia Bouyer,et al. Stochastic Timed Games Revisited , 2016, MFCS.
[12] Joost-Pieter Katoen,et al. Approximate Model Checking of Stochastic Hybrid Systems , 2010, Eur. J. Control.
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] Joost-Pieter Katoen,et al. Robust PCTL model checking , 2012, HSCC '12.
[15] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[16] Martin L. Puterman,et al. Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .
[17] Gethin Norman,et al. Model checking for probabilistic timed automata , 2012, Formal Methods in System Design.
[18] U. Rieder,et al. Markov Decision Processes , 2010 .
[19] R. Segala,et al. Automatic Verification of Real-Time Systems with Discrete Probability Distributions , 1999, ARTS.