Bounded Model Checking for Markov Decision Processes
| Autor: | Zhi-Feng Liu, Chang-Da Wang, Conghua Zhou, Zhi-Hu Xing |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
Mathematical optimization
Markov kernel Markov chain Computer Networks and Communications Computer science Variable-order Markov model Markov process Partially observable Markov decision process Markov model Computer Graphics and Computer-Aided Design symbols.namesake Hardware and Architecture Markov renewal process symbols Markov property Software |
| Zdroj: | Chinese Journal of Computers. 36:2587-2600 |
| ISSN: | 0254-4164 |
| DOI: | 10.3724/sp.j.1016.2013.02587 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|