A Theorem Proving Approach to Formal Verification of a Cognitive Agent.

Alexander Birch Jensen

Browse the full DCAI paper archive.