Stochastic Timed Games Revisited
暂无分享,去创建一个
[1] Holger Hermanns,et al. MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems , 2006, IEEE Transactions on Software Engineering.
[2] A. Pnueli,et al. CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .
[3] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[4] Benjamin Monmege,et al. Adding Negative Prices to Priced Timed Games , 2014, CONCUR.
[5] Christel Baier,et al. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata , 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
[6] Ashutosh Trivedi,et al. Expected Reachability-Time Games , 2010, FORMATS.
[7] Jan Kretínský,et al. Fixed-Delay Events in Generalized Semi-Markov Processes Revisited , 2011, CONCUR.
[8] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[9] Martin L. Puterman,et al. Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .
[10] Joël Ouaknine,et al. Time-Bounded Verification , 2009, CONCUR.
[11] Nathalie Bertrand,et al. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
[12] Christel Baier,et al. Stochastic Timed Automata , 2014, Log. Methods Comput. Sci..
[13] Nathalie Bertrand,et al. Analysing Decisive Stochastic Processes , 2016, ICALP.
[14] Philippe Schnoebelen,et al. Model Checking Timed Automata with One or Two Clocks , 2004, CONCUR.
[15] Ursula Dresdner,et al. Computation Finite And Infinite Machines , 2016 .
[16] Patricia Bouyer,et al. Reachability in Stochastic Timed Games , 2009, ICALP.
[17] Christel Baier,et al. Principles of model checking , 2008 .
[18] Marta Z. Kwiatkowska,et al. Automatic verification of real-time systems with discrete probability distributions , 1999, Theor. Comput. Sci..
[19] Joël Ouaknine,et al. Towards a Theory of Time-Bounded Verification , 2010, ICALP.
[20] Nathalie Bertrand,et al. Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata , 2014, QEST.
[21] J. Filar,et al. Competitive Markov Decision Processes , 1996 .
[22] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[23] Marta Z. Kwiatkowska,et al. Verifying Quantitative Properties of Continuous Probabilistic Timed Automata , 2000, CONCUR.