E. Moreira and J.C. Campos
On the role of generative AI in explaining model checking counterexamples
In L. Zaina and others, editors, Engineering Interactive Computer Systems, volume 15518 of Lecture Notes in Computer Science, pages 138-158. Springer. 2025.

visit publisher  

@InCollection{MoreiraC:2025,
 author = {E. Moreira and J.C. Campos},
 title = {On the role of generative AI in explaining model checking counterexamples},
 publisher = {Springer},
 booktitle = {Engineering Interactive Computer Systems},
 series = {Lecture Notes in Computer Science},
 volume = {15518},
 pages = {138-158},
 year = {2025},
 doi = {10.1007/978-3-031-91760-8_10},
 editor = {L. Zaina and others}
}

Generated by mkBiblio 2.6.28