Picture for Marco Montali

Marco Montali

Generating Counterfactual Explanations Under Temporal Constraints

Add code
Mar 03, 2025
Viaarxiv icon

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications

Add code
Jun 17, 2024
Viaarxiv icon

Depth-Bounded Epistemic Planning

Add code
Jun 03, 2024
Figure 1 for Depth-Bounded Epistemic Planning
Figure 2 for Depth-Bounded Epistemic Planning
Figure 3 for Depth-Bounded Epistemic Planning
Figure 4 for Depth-Bounded Epistemic Planning
Viaarxiv icon

Object-Centric Conformance Alignments with Synchronization (Extended Version)

Add code
Dec 13, 2023
Figure 1 for Object-Centric Conformance Alignments with Synchronization (Extended Version)
Figure 2 for Object-Centric Conformance Alignments with Synchronization (Extended Version)
Figure 3 for Object-Centric Conformance Alignments with Synchronization (Extended Version)
Viaarxiv icon

DELPHIC: Practical DEL Planning via Possibilities (Extended Version)

Add code
Jul 28, 2023
Figure 1 for DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Figure 2 for DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Figure 3 for DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Figure 4 for DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Viaarxiv icon

A Semantic Approach to Decidability in Epistemic Planning (Extended Version)

Add code
Jul 28, 2023
Viaarxiv icon

Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions

Add code
Jun 10, 2023
Viaarxiv icon

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

Add code
Aug 12, 2022
Figure 1 for Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Figure 2 for Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Viaarxiv icon

Conformance Checking with Uncertainty via SMT (Extended Version)

Add code
Jun 15, 2022
Figure 1 for Conformance Checking with Uncertainty via SMT (Extended Version)
Viaarxiv icon

Soundness of Data-Aware Processes with Arithmetic Conditions

Add code
Mar 28, 2022
Figure 1 for Soundness of Data-Aware Processes with Arithmetic Conditions
Figure 2 for Soundness of Data-Aware Processes with Arithmetic Conditions
Figure 3 for Soundness of Data-Aware Processes with Arithmetic Conditions
Figure 4 for Soundness of Data-Aware Processes with Arithmetic Conditions
Viaarxiv icon