Stochastic Omega-Regular Verification and Control with Supermartingales.

Alessandro Abate Mirco Giacobbe Diptarko Roy

Published in: CAV (3) (2024)

Keyphrases

model checking
control method
control system
neural network
control theory
real world
information retrieval
evolutionary algorithm
control strategies
discrete event
data sets
databases
website
monte carlo
robot control
control policies