A Greedy Approach for the Efficient Repair of Stochastic Models
| Title | A Greedy Approach for the Efficient Repair of Stochastic Models |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Pathak, S, Ábrahám, E, Jansen, N, Tacchella, A, Katoen, J-P |
| Editor | Havelund, K, Holzmann, GJ, Joshi, R |
| Conference Name | {NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-319-17524-9_21 |
| DOI | 10.1007/978-3-319-17524-9_21 |
Work Package:
WP1
