Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction

Jähnichen, Stefan und Wirsing, Martin (2016): Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 639-641

Abstract

This short paper gives an introduction to a panel held as part of the track on "Rigorous Engineering of Collective Adaptive Systems" at ISOLA 2016. The moderator Stefan Jahnichen (TU Berlin) and the pan-elists Saddek Bensalem (VERIMAG), Michele Loreti (University of Florence), Giovanna di Marzo Serugendo (University of Geneva), and Emil Vassev (LERO) discussed how to master the engineering of autonomous systems that have to cope with unforeseen events and situations. The discussion was structured along 14 questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues.

• Dokumententyp: Buchbeitrag
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• ISBN: 978-3-319-47165-5; 978-3-319-47166-2
• Ort: Cham
• Sprache: Englisch