Thibault Rivoalen

Papers

Total Citations

H-Index

About

Thibault Rivoalen is a researcher in artificial intelligence, with a primary focus on the verification and formal analysis of multi-agent systems. His work centers on ensuring the reliability and correctness of Belief-Desire-Intention (BDI) agents—a popular architecture for intelligent autonomous systems. Rivoalen’s major contribution is the development of **CAN-verify**, a verification tool for BDI agents, introduced in his most-cited paper (2023, 3 citations). This tool addresses a critical challenge in agent-based AI: how to formally prove that complex, goal-driven agents behave as intended before deployment. By providing a practical framework for model checking, CAN-verify helps bridge the gap between theoretical agent logics and real-world software engineering. Though early in his career, Rivoalen’s work is gaining traction among researchers working on trustworthy AI and autonomous systems. His research is particularly relevant for safety-critical applications where agent decisions must be predictable and verifiable. As the field of intelligent agents expands, Rivoalen’s contributions to formal verification are poised to become foundational for building reliable, explainable AI systems.