Model Repair for Markov Decision Processes.

Authors :: Chen, Taolue
Hahn, Ernst Moritz
Han, Tingting
Kwiatkowska, Marta
Qu, Hongyang
Zhang, Lijun
Source :: 2013 International Symposium on Theoretical Aspects of Software Engineering; 2013, p85-92, 8p
Publication Year :: 2013

Language :: English
ISBNs :: 9780769550534
Database :: Complementary Index
Journal :: 2013 International Symposium on Theoretical Aspects of Software Engineering
Publication Type :: Conference
Accession number :: 91779254
Full Text :: https://doi.org/10.1109/TASE.2013.20