ML Anthology

Di Ciccio, Claudio

1 publications

JAIR 2024 Computing Unsatisfiable Cores for LTLf Specifications Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini