Certification Game for the Safety Analysis of AI-Based CPS.

Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Browse the full SAFECOMP paper archive.