Gianola, Alessandro

6 publications

AAAI 2025 First-Order Automata Luca Geatti, Alessandro Gianola, Nicola Gigante

AAAI 2024 Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata Alessandro Gianola, Marco Montali, Sarah Winkler

AAAI 2023 SMT Safety Verification of Ontology-Based Processes Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

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

IJCAI 2022 Linear Temporal Logic Modulo Theories over Finite Traces Luca Geatti, Alessandro Gianola, Nicola Gigante

AAAI 2021 SMT-Based Safety Checking of Parameterized Multi-Agent Systems Paolo Felli, Alessandro Gianola, Marco Montali