|
Title
|
|
|
|
Reduction techniques for model checking and learning in MDPs
| |
|
Author
|
|
|
|
| |
|
Language
|
|
|
|
English
| |
|
Source (book)
|
|
|
|
Proceedings of the 26st International Joint Conference on Artificial Intelligence, Melbourne
| |
|
Publication
|
|
|
|
IJCAI
,
2017
| |
|
DOI
|
|
|
|
10.24963/IJCAI.2017/597
| |
|
Volume/pages
|
|
|
|
p. 4273-4279
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|
Full text (open access)
|
|
|
|
| |
|