Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2106.11735
Cited By
Lifted Model Checking for Relational MDPs
22 June 2021
Wen-Chi Yang
Jean-François Raskin
Luc de Raedt
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Lifted Model Checking for Relational MDPs"
2 / 2 papers shown
Title
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Gavin Rens
Wen-Chi Yang
Jean-François Raskin
Luc de Raedt
18
0
0
07 Nov 2022
Bounded Situation Calculus Action Theories
Giuseppe De Giacomo
Yves Lespérance
F. Patrizi
LRM
21
38
0
07 Sep 2015
1
