DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v39i25.34840,19668,ToHe,Neural control and certificate repair via runtime monitoring