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
