Back to Results
First PageMeta Content
Formal 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 Verification
Add to Reading List

Document Date: 2015-11-05 09:32:14


Open Document

File Size: 2,24 MB

Share Result on Facebook