Lifted model checking for relational MDPs.
Saved in:
| Title: | Lifted model checking for relational MDPs. |
|---|---|
| Authors: | Yang, Wen-Chi1, wenchi.yang@kuleuven.be, Raskin, Jean-François2, De Raedt, Luc3 |
| Source: | Machine Learning; Oct2022, Vol. 111 Issue 10, p3797-3838, 42p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 08856125 |
|---|---|
| DOI: | 10.1007/s10994-021-06102-7 |