Creative Commons Attribution License. Learning Markov Decision Processes for Model Checking
Type: preprint
Authors: U. Fahrenberg, A. Legay, C. Thrane, C H. Mao, Y. Chen, M. Jaeger, T. D. Nielsen, K. G. Larsen, B. Nielsen, Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7098360514