Marco Montali
17 papers · 2013–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (3) π Academic Marathon (12) π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (19)
π
Conference Polyglot
(3)
π
Academic Marathon
(12)
π
Renaissance Researcher
(5)
π
Century Club
(17)
ποΈ
Keyword Collector
(57)
π
Conference Pioneer
π₯
Unstoppable
(6)
Conferences
AAAI (8)
IJCAI (8)
IJCNLP (1)
Top co-authors
Keywords
temporal logic
(6)
model checking
(6)
formal verification
(4)
finite trace
(4)
safety verification
(3)
process mining
(2)
satisfiability modulo theories
(2)
linear temporal logic
(2)
relational database
(1)
genetic algorithm
(1)
first-order logic
(1)
smt solving
(1)
satisfiability modulo theory
(1)
description logic
(1)
probabilistic logic
(1)
linear arithmetic
(1)
counterfactual explanation
(1)
symbolic algorithm
(1)
automata theory
(1)
explainable ai
(1)
Papers
Generating Counterfactual Explanations Under Temporal Constraints
AAAI 2025
Foundations of Reactive Synthesis for Declarative Process Specifications
AAAI 2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
AAAI 2024
Safety Verification and Universal Invariants for Relational Action Bases
IJCAI 2023
SMT Safety Verification of Ontology-Based Processes
AAAI 2023
Monitoring Arithmetic Temporal Properties on Finite Traces
AAAI 2023
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
IJCAI 2023
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
AAAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
IJCAI 2022
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
IJCAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems
AAAI 2021
Temporal Logics Over Finite Traces with Uncertainty
AAAI 2020
Plan Synthesis for Knowledge and Action Bases
IJCAI 2016
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
IJCAI 2015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
IJCAI 2015
Automated Activity Recognition in Clinical Documents
IJCNLP 2013
Verification of Inconsistency-Aware Knowledge and Action Bases
IJCAI 2013