Montali, Marco

21 publications

AAAI 2025 Generating Counterfactual Explanations Under Temporal Constraints Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Massimiliano Ronzani

AAAI 2024 Foundations of Reactive Synthesis for Declarative Process Specifications Luca Geatti, Marco Montali, Andrey Rivkin

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

IJCAI 2023 Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract) Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

AAAI 2023 Monitoring Arithmetic Temporal Properties on Finite Traces Paolo Felli, Marco Montali, Fabio Patrizi, 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

AAAI 2022 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic Paolo Felli, Marco Montali, Sarah Winkler

IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

IJCAI 2021 HyperLDLf: A Logic for Checking Properties of Finite Traces Process Logs Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli

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

AAAI 2020 Temporal Logics over Finite Traces with Uncertainty Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza

AAAI 2017 Add Data into Business Process Verification: Bridging the Gap Between Theory and Practice Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris

IJCAI 2016 Plan Synthesis for Knowledge and Action Bases Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy

IJCAI 2015 Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo

IJCAI 2015 Verification of Generalized Inconsistency-Aware Knowledge and Action Bases Diego Calvanese, Marco Montali, Ario Santoso

AAAI 2015 Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali

AAAI 2014 Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali

JAIR 2013 Description Logic Knowledge and Action Bases Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

IJCAI 2013 Verification of Inconsistency-Aware Knowledge and Action Bases Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

IJCAI 2009 Commitment Tracking via the Reactive Event Calculus Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni