Login / Signup
Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks.
Arash Bahari Kordabad
Maria Charitidou
Dimos V. Dimarogonas
Sadegh Soudjani
Published in:
ECC (2024)
Keyphrases
</>
temporal logic
stochastic systems
model checking
modal logic
linear temporal logic
stochastic models
control method
signal processing
control system
chaotic systems
computation tree logic
belief revision
verification method
non stationary
confidence intervals
sample path
optimal control