research
∙
07/28/2023
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led...
share
research
∙
07/28/2023
DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Dynamic Epistemic Logic (DEL) provides a framework for epistemic plannin...
research
∙
11/30/2022
Monitoring Arithmetic Temporal Properties on Finite Traces
We study monitoring of linear-time arithmetic properties against finite ...
research
∙
06/15/2022
Conformance Checking with Uncertainty via SMT (Extended Version)
Logs of real-life processes often feature uncertainty pertaining the rec...
research
∙
05/18/2022
CTL* model checking for data-aware dynamic systems with arithmetic
The analysis of complex dynamic systems is a core research topic in form...
research
∙
03/28/2022
Soundness of Data-Aware Processes with Arithmetic Conditions
Data-aware processes represent and integrate structural and behavioural ...
research
∙
03/15/2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Combined modeling and verification of dynamic systems and the data they ...
research
∙
10/06/2021
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Many AI applications involve the interaction of multiple autonomous agen...
research
∙
03/18/2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Conformance checking is a key process mining task for comparing the expe...
research
∙
08/11/2020
SMT-based Safety Verification of Parameterised Multi-Agent Systems
In this paper we study the verification of parameterised multi-agent sys...
research
∙
07/12/2018
Situation Calculus for Synthesis of Manufacturing Controllers
Manufacturing is transitioning from a mass production model to a manufac...
research
∙
04/06/2018
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
The last decade has witnessed an increasing transformation in the design...
research
∙
02/21/2016
Social planning for social HRI
Making a computational agent 'social' has implications for how it percei...
research
∙
02/04/2014
