Author:
de Alfaro Luca,Roy Pritam
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. Journal of Formal Methods in System Design 10(2/3), 171–206 (1997)
2. Lecture Notes in Computer Science;C. Baier,1997
3. B., J., Berger, J.O.: Adaptive mesh refinement for hyperbolic partial differential equations. Journal of Computational Physics 53, 484–512 (1984)
4. Bertsekas, D.: Dynamic Programming and Optimal Control. Athena Scientific vol. I, II (1995)
5. Cheshire, S., Adoba, B., Gutterman, E.: Dynamic configuration of ipv4 link local addresses (internet draft)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Abstraction-based Probabilistic Program Analysis;Acta Cybernetica;2023-06-02
2. Lifted model checking for relational MDPs;Machine Learning;2022-06-23
3. A three-valued model abstraction framework for PCTL* stochastic model checking;Automated Software Engineering;2022-03-02
4. The 10,000 Facets of MDP Model Checking;Lecture Notes in Computer Science;2019
5. On Abstraction of Probabilistic Systems;Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems;2014