Publications

of Luc De Raedt

Articles in journal, book chapters

  1. Wen-Chi Yang, Jean-François Raskin, and Luc De Raedt. Lifted Model Checking for Relational MDPs. arXiv preprint arXiv:2106.11735, 2021.

BACK TO INDEX