Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains

Gavin Rens, Wen-Chi Yang, Jean-François Raskin +1

We propose a framework for learning a fragment of probabilistic computation tree logic (pCTL) formulae from a set of states that are labeled as safe or unsafe. We work in a relatio…