Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics.

Maico Hendrikus Wilhelmus Engelaar Zengjie Zhang Mircea Lazar Sofie Haesaert

Published in: CoRR (2024)

Keyphrases

temporal logic
stochastic systems
model checking
mazurkiewicz traces
modal logic
stochastic models
satisfiability problem
conservation laws
closed loop
confidence intervals
sample path
belief revision
temporal knowledge
upper bound
dynamic model
training set
finite state
temporal information