Benoît Ballenghien
Benoît Ballenghien
Affiliation: Université Paris-Saclay
Pages in this Program
Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑