Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections time2020 invitedtalk 159 views You may also like 52:20 Barend Mons: Q&A Session 77 views eross2020 invitedtalk 57:18 Daniel Jackson: Design by Concept: A New Way to Think About Software 412 views eross2020 invitedtalk 38:37 Daniel Jackson: Q&A Session 64 views eross2020 invitedtalk 53:45 Melanie Mitchell: Conceptual Abstraction and Analogy in Artificial Intelligence 141 views eross2020 invitedtalk 44:58 Melanie Mitchell Q&A Session 60 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 58 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 46 views eross2020 invitedtalk 1:09:35 Terry Halpin: Reference Scheme Modelling 56 views eross2020 invitedtalk «12345…7»Page 3 of 7