Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections time2020 invitedtalk 167 views You may also like 52:20 Barend Mons: Q&A Session 82 views eross2020 invitedtalk 57:18 Daniel Jackson: Design by Concept: A New Way to Think About Software 422 views eross2020 invitedtalk 38:37 Daniel Jackson: Q&A Session 65 views eross2020 invitedtalk 53:45 Melanie Mitchell: Conceptual Abstraction and Analogy in Artificial Intelligence 144 views eross2020 invitedtalk 44:58 Melanie Mitchell Q&A Session 64 views eross2020 invitedtalk 1:07:26 Sudha Ram: Leveraging Artificial Intelligence and Big Data to Create Value 55 views eross2020 invitedtalk 41:01 Sudha Ram: Q&A Session 61 views eross2020 invitedtalk 01:17:18 Wil van der Aalst: Adding Objects and Probabilities to Process Mining 92 views eross2020 invitedtalk 47:37 Wil van der Aaslt Q&A Session 47 views eross2020 invitedtalk 1:09:35 Terry Halpin: Reference Scheme Modelling 63 views eross2020 invitedtalk «12345…7»Page 3 of 7