ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Rigorous Modeling of an Idealized Foraging Ant System in Higher-Order Logic

Time: Monday, 28.10

Room: Room 1

Authors: Marco Maggesi, Cosimo Perini Brogi

Abstract: