Subject
Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software
Reference32 articles.
1. Model repair for probabilistic systems;Bartocci,2011
2. Model repair for Markov decision processes;Chen,2013
3. S. Pathak, E. Ábrahám, N. Jansen, A. Tacchella, J.P. Katoen, A greedy approach for the efficient repair of stochastic models, in: NASA Formal Methods - 7th Int. Symposium, 2015, pp. 295–309.
4. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Trans. Softw. Eng.,2003
5. PRISM 4.0: Verification of probabilistic real-time systems;Kwiatkowska,2011
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献