Dieses Ergebnis aus Springer Nature eBooks kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic

Title:	Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
Authors:	Maggesi, Marco^Aff9; Perini Brogi, Cosimo^Aff10
Contributors:	Goos, Gerhard, Series Editor^Aff1; Hartmanis, Juris, Founding Editor^Aff2; Bertino, Elisa, Editorial Board Member^Aff3; Gao, Wen, Editorial Board Member^Aff4; Steffen, Bernhard, Editorial Board Member^{Aff5, Aff8}; Yung, Moti, Editorial Board Member^Aff6; Margaria, Tiziana, editor^Aff7
Source:	Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. 15220:297-315
Database:	Springer Nature eBooks