Search Results for author:
Found 1 papers, 0 papers with code
Correct-by-Construction Runtime Enforcement in AI -- A Survey
In this paper, we are interested in techniques for constructing runtime enforcers for the concrete application domain of enforcing safety in AI.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
