Active Learning of Markov Decision Processes for System Verification

Yingke Chen, Thomas Dyhre Nielsen

Research output: Other contribution › peer-review

20 Citations (Scopus)

Keywords

@misc{460b764f4e6c495ebdf461e9fa9b6625,

title = "Active Learning of Markov Decision Processes for System Verification",

keywords = "Active learning, verification, Markov decision processes, statistical learning",

author = "Yingke Chen and Nielsen, {Thomas Dyhre}",

year = "2012",

doi = "10.1109/ICMLA.2012.158",

language = "English",

type = "Other",

}