On the Role of Generative AI in Explaining Model Checking Counterexamples.

Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos

Browse the full EICS paper archive.