Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks.

Jun Wang Kaiyuan Tan Zihe Sun Yiannis Kantaros

Published in: CoRR (2023)

Keyphrases

temporal logic
stochastic systems
model checking
modal logic
control system
verification method
linear temporal logic
stochastic models
bayesian networks
reinforcement learning
transfer learning
formal specification
adaptive control
computation tree logic