Logo Logo
Help
Contact
Switch Language to German
Jähnichen, Stefan; 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, Vol. 9952. Cham: Springer. pp. 639-641
Full text not available from 'Open Access LMU'.

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.