TY  - RPRT
TI  - Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
AU  - Gavin Rens
AU  - Wen-Chi Yang
AU  - Jean-François Raskin
AU  - Luc De Raedt
PY  - 2022
UR  - https://arxiv.org/abs/2211.03461
ID  - 2211.03461
ER  -