Gabriel Ballot

According to our database, Gabriel Ballot authored at least 8 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Probabilistic Alternating-Time Temporal Logic with Stochastic Abilities.

Sarra Zaghbib, Gabriel Ballot, Vadim Malvone, Jean Leneutre

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

2025

Optimal Active Cyber Defence Strategies based on Multi-Agent System Verification. (Stratégies Optimales de Cybersécurité basées sur la Vérification Formelle de Systèmes Multi-Agents).

Gabriel Ballot

PhD thesis, 2025

Alternating-time Temporal Logic with Stochastic Abilities.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Jingxuan Ma, Mourad Leslous

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Strategic Reasoning with Capacity-Constrained Agents and Imperfect Information.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Jingxuan Ma

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Strategic Reasoning under Capacity-constrained Agents.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Capacity ATL.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi

CoRR, 2023

Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity.

Gabriel Ballot

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Reasoning about Moving Target Defense in Attack Modeling Formalisms.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde

Proceedings of the 9th ACM Workshop on Moving Target Defense, 2022