Stochastic Omega-Regular Verification and Control with Supermartingales.

Alessandro Abate Mirco Giacobbe Diptarko Roy

Published in: CoRR (2024)

Keyphrases

control system
multistage
control method
control theory
neural network
multiscale
probability distribution
adaptive control
face verification
discrete event
control policies
stochastic control
functional verification