Picture for François Schwarzentruber

François Schwarzentruber

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Add code
Apr 30, 2024
Figure 1 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 2 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 3 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 4 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Viaarxiv icon

Base-based Model Checking for Multi-Agent Only Believing

Add code
Jul 27, 2023
Viaarxiv icon

A Modal Logic for Explaining some Graph Neural Networks

Add code
Jul 11, 2023
Viaarxiv icon

On simple expectations and observations of intelligent agents: A complexity study

Add code
Jun 05, 2023
Viaarxiv icon

On verifying expectations and observations of intelligent agents

Add code
May 12, 2022
Figure 1 for On verifying expectations and observations of intelligent agents
Figure 2 for On verifying expectations and observations of intelligent agents
Viaarxiv icon

Conflict-Based Search for Connected Multi-Agent Path Finding

Add code
Jun 05, 2020
Figure 1 for Conflict-Based Search for Connected Multi-Agent Path Finding
Figure 2 for Conflict-Based Search for Connected Multi-Agent Path Finding
Figure 3 for Conflict-Based Search for Connected Multi-Agent Path Finding
Figure 4 for Conflict-Based Search for Connected Multi-Agent Path Finding
Viaarxiv icon

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Add code
Jan 20, 2020
Figure 1 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Figure 2 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Viaarxiv icon

Reachability and Coverage Planning for Connected Agents: Extended Version

Add code
Mar 11, 2019
Figure 1 for Reachability and Coverage Planning for Connected Agents: Extended Version
Figure 2 for Reachability and Coverage Planning for Connected Agents: Extended Version
Figure 3 for Reachability and Coverage Planning for Connected Agents: Extended Version
Figure 4 for Reachability and Coverage Planning for Connected Agents: Extended Version
Viaarxiv icon