Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.

Sofie Haesaert Sadegh Soudjani

Published in: CoRR (2018)

Keyphrases

temporal logic
stochastic systems
dynamic programming
model checking
modal logic
optimal control
control system
reactive systems
verification method
belief revision
linear temporal logic
knowledge base
linear programming
control method
confidence intervals