research
∙
07/27/2023
Base-based Model Checking for Multi-Agent Only Believing (long version)
We present a novel semantics for the language of multi-agent only believ...
share
research
∙
07/11/2023
A Modal Logic for Explaining some Graph Neural Networks
In this paper, we propose a modal logic in which counting modalities app...
research
∙
06/05/2023
On simple expectations and observations of intelligent agents: A complexity study
Public observation logic (POL) reasons about agent expectations and agen...
research
∙
05/02/2022
On verifying expectations and observations of intelligent agents
Public observation logic (POL) is a variant of dynamic epistemic logic t...
research
∙
06/05/2020
Conflict-Based Search for Connected Multi-Agent Path Finding
We study a variant of the multi-agent path finding problem (MAPF) in whi...
research
∙
01/20/2020
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...
research
∙
06/28/2019
The Complexity of Tiling Problems
In this document, we collected the most important complexity results of ...
research
∙
06/09/2019
The Packed Interval Covering Problem is NP-complete
We introduce a new decision problem, called Packed Interval Covering (PI...
research
∙
05/29/2019
Reachability Games in Dynamic Epistemic Logic
We define reachability games based on Dynamic Epistemic Logic (DEL), whe...
research
∙
03/11/2019
Reachability and Coverage Planning for Connected Agents: Extended Version
Motivated by the increasing appeal of robots in information-gathering mi...
research
∙
10/15/2018