2025
Thorsten Engesser, Thibaut Le Marre, Emiliano Lorini, François Schwarzentruber, Bruno Zanuttini: A Simple Integration of Epistemic Logic and Reinforcement Learning. AAMAS 2025
Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber: A Computationally Grounded Framework for Cognitive Attitudes. AAAI 2025
2024
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard:
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. IJCAI 2024: 3532-3540
2023
Isseïnie Calviac, Ocan Sankur, François Schwarzentruber:
Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding. AAMAS 2023: 896-904
Tiago de Lima, Emiliano Lorini, François Schwarzentruber:
Base-Based Model Checking for Multi-agent only Believing. JELIA 2023: 437-445
