Picture for Paolo Felli

Paolo Felli

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications

Add code
Jun 17, 2024
Viaarxiv icon

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

Add code
Jul 28, 2023
Viaarxiv icon

DELPHIC: Practical DEL Planning via Possibilities (Extended Version)

Add code
Jul 28, 2023
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

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

Add code
Mar 15, 2022
Figure 1 for Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Figure 2 for Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Viaarxiv icon

Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief

Add code
Oct 06, 2021
Figure 1 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 2 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 3 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 4 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Viaarxiv icon

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

Add code
Mar 18, 2021
Viaarxiv icon

SMT-based Safety Verification of Parameterised Multi-Agent Systems

Add code
Aug 14, 2020
Figure 1 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Figure 2 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Figure 3 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Figure 4 for SMT-based Safety Verification of Parameterised Multi-Agent Systems
Viaarxiv icon

Situation Calculus for Synthesis of Manufacturing Controllers

Add code
Jul 12, 2018
Figure 1 for Situation Calculus for Synthesis of Manufacturing Controllers
Viaarxiv icon