Online Shielding for Stochastic Systems.

Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem

Published in: CoRR (2020)

Keyphrases

stochastic systems
stochastic models
conservation laws
probabilistic model
sufficient conditions
network model
sample path