Frog Checking - Applying Model Checking to a Population of Frogs

Part of the final 2024 seminar session of "The Knights Who Say Lambda"

In this seminar, the Frog Master (Matteo Simone) tells us how to apply approaches from model checking to a population of frogs.