Optimal Repair for Omega-Regular Properties.

Vrunda Dave Shankara Narayanan Krishna Vishnu Murali Ashutosh Trivedi

Published in: ATVA (2022)

Keyphrases

optimal solution
real time
data sets
optimal strategy
database
learning algorithm
website
bayesian networks
lower bound
dynamic programming
scheduling problem
closed form
exhaustive search
finding optimal
monotonicity property