Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1712.04155
Cited By
v1
v2 (latest)
Toward `verifying' a Water Treatment System
12 December 2017
Jingyi Wang
Jun Sun
Yifan Jia
S. Qin
Zhiwu Xu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Toward `verifying' a Water Treatment System"
1 / 1 papers shown
Title
Learning Markov Decision Processes for Model Checking
Hua Mao
Yingke Chen
M. Jaeger
Thomas D. Nielsen
Kim G. Larsen
B. Nielsen
71
37
0
17 Dec 2012
1
