A Generative Verification Framework on Statistical Stability for Data-Driven Controllers.

Published in: IEEE Access (2023)

Keyphrases

data driven
model checking
model driven
probabilistic model
main contribution
e learning
reinforcement learning
lightweight
adaptive control
stability analysis