Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Rajarshi Roy, Yash Pote, David Parker +1

There has been substantial progress in the inference of formal behavioural specifications from sample trajectories, for example, using Linear Temporal Logic (LTL). However, these t…