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 |
Motivation Interleaving AVATARDocID: 1xVYE - View Document | |
Motivation Groundwork Distance-Tracking AutomataDocID: 1xVEg - View Document | |
PROJECT PAI MOTIVATION WHITEPAPER DECENTRALIZED, PEER-ENABLED AI IDENTITIES FOR THE AI ECONOMYDocID: 1xVjM - View Document | |
Motivation Groundwork AlgorithmDocID: 1xVdj - View Document | |
Boosting the BGP Convergence in SDXes in SWIFT Philipp Mao, Rüdiger Birkner, Thomas Holterbach, Laurent Vanbever ETH Zürich 1. Motivation 2. SWIFT in a nutshellDocID: 1xUXo - View Document |