![](/img/cover-not-exists.png)
[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Model Repair for Markov Decision Processes
Chen, Taolue, Hahn, Ernst Moritz, Han, Tingting, Kwiatkowska, Marta, Qu, Hongyang, Zhang, LijunYear:
2013
Language:
english
DOI:
10.1109/tase.2013.20
File:
PDF, 292 KB
english, 2013