Optimal Repair For Omega-regular Properties.

Vrunda Dave Shankara Narayanan Krishna Vishnu Murali Ashutosh Trivedi

Published in: CoRR (2022)

Keyphrases

desirable properties
data sets
optimal solution
worst case
structural properties
optimal design
database
genetic algorithm
video sequences
search algorithm
lower bound
optimal strategy