Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.

Sofie Haesaert Sadegh Soudjani

Published in: IEEE Trans. Autom. Control. (2021)

Keyphrases

temporal logic
stochastic systems
dynamic programming
model checking
modal logic
optimal control
linear temporal logic
control system
stochastic models
reinforcement learning
state space
sample path
verification method