Login / Signup
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems.
Sleiman Safaoui
Lars Lindemann
Iman Shames
Tyler H. Summers
Published in:
CoRR (2022)
Keyphrases
</>
temporal logic
stochastic systems
model checking
modal logic
optimal control
verification method
control system
linear temporal logic
chaotic systems
stochastic models
control method
stochastic processes
sample path
belief revision
dynamical systems
computation tree logic
search algorithm