Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems.

Sleiman Safaoui Lars Lindemann Iman Shames Tyler H. Summers

Published in: ACC (2022)

Keyphrases

temporal logic
stochastic systems
model checking
optimal control
modal logic
belief revision
control strategy
linear temporal logic
control system
markov chain
computation tree logic
state space
verification method
stochastic models
sample path
markov processes
asymptotically optimal
control method