Mengwei Xu 0002, Peter Rivière, Toshiaki Aoki, Marie Farrell, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Guillaume Dupont. Encoding BDI Syntax with Theories in Event-B. In Fuyuki Ishikawa, Alcino Cunha, editors, Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings. Volume 16579 of Lecture Notes in Computer Science, pages 210-228, Springer, 2026. [doi]
Abstract is missing.