| 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
| |
| Volume/pages |
|
|
|
p. 4273-4279
| |
| Full text (Publisher's DOI) |
|
|
| | |
| Full text (open access) |
|
|
| | |
|