First Page | Document Content | |
---|---|---|
Date: 2015-11-05 09:32:14Formal methods Theoretical computer science Cognitive science Logic in computer science Cybernetics Logic Artificial intelligence Runtime verification Intelligent agent Model checking Motivation Autonomy | Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal VerificationAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 2,24 MBShare Document on Facebook |