Lifted model checking for relational MDPs
Crossref DOI link: https://doi.org/10.1007/s10994-021-06102-7
Published Online: 2022-06-23
Published Print: 2022-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Yang, Wen-Chi
Raskin, Jean-François
De Raedt, Luc
Text and Data Mining valid from 2022-06-23
Version of Record valid from 2022-06-23
Article History
Received: 19 May 2020
Revised: 30 September 2021
Accepted: 14 October 2021
First Online: 23 June 2022
Free to read: This content has been made available to all.