Authors Search About

Ghilardi, Silvio

1 publications

IJCAI 2023 Safety Verification and Universal Invariants for Relational Action Bases Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy