Towards Verifying GOAL Agents in Isabelle/HOL.

Alexander Birch Jensen

Browse the full ICAART paper archive.