Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks.

Guy Scher Sadra Sadraddini Hadas Kress-Gazit

Published in: IROS (2022)

Keyphrases

temporal logic
stochastic systems
model checking
modal logic
mazurkiewicz traces
verification method
stochastic models
computation tree logic
confidence intervals
reactive systems
non stationary
sample path
asymptotic analysis
finite state
reverse engineering
belief revision
reinforcement learning