Fang Yan 0004, Benoît Ballenghien, Simon Foster 0001, Ana Cavalcanti 0001, James Baxter 0001, Burkhart Wolff. Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.