Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes.

Francesca Cairoli Nicola Paoletti Luca Bortolussi

Published in: CoRR (2022)

Keyphrases

stochastic processes
stochastic process
stochastic models
probability distribution
random fields
markov processes
random variables
brownian motion
dynamic bayesian networks
continuous time bayesian networks
machine learning
reinforcement learning
prior knowledge