Publications

Filters: Author is Shashank Pathak  [Clear All Filters]
2015
S. Pathak, E. Ábrahám, N. Jansen, A. Tacchella, and J. - P. Katoen, “A Greedy Approach for the Efficient Repair of Stochastic Models”, in {NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, 2015.