Autonomics: In Search of a Foundation for Next Generation Autonomous Systems

David Harel, Assaf Marron, Joseph Sifakis

Type: Preprint

Publication Date: 2019-11-17

Citations: 2

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Autonomics: In search of a foundation for next-generation autonomous systems	2020	David Harel Assaf Marron Joseph Sifakis
+	Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions	2020	Assaf Marron Lior Limonad Sarah Pollack David Harel
+	Autonomous Systems -- An Architectural Characterization	2018	Joseph Sifakis
+ PDF Chat	System Design in the Era of IoT — Meeting the Autonomy Challenge	2018	Joseph Sifakis
+ PDF Chat	Rise of the Autonomous Machines	2022	Shaoshan Liu Jean‐Luc Gaudiot
+	Towards a Roadmap for Trustworthy Dynamic Systems-of-Systems	2022	Rasmus Adler Frank Elberzhager Julien Siebert
+	Individual and Collective Autonomous Development	2021	Marco Lippi Stefano Mariani Matteo Martinelli Franco Zambonelli
+	Individual and Collective Autonomous Development.	2021	Marco Lippi Stefano Mariani Matteo Martinelli Franco Zambonelli
+	Rise of the Autonomous Machines	2021	Shaoshan Liu Jean‐Luc Gaudiot
+	Self-Adaptive Systems: A Systematic Literature Review Across Categories and Domains	2021	TheinLai Wong Markus Wagner Christoph Treude
+ PDF Chat	Using Models at Runtime to Address Assurance for Self-Adaptive Systems	2014	Betty H. C. Cheng Kerstin Eder Martin Gogolla Lars Grunske Marin Litoiu Hausi Müller Patrizio Pelliccione Anna Perini Nauman A. Qureshi Bernhard Rumpe⋆
+	Decentralized Self-Adaptive Systems: A Mapping Study.	2021	Federico Quin Danny Weyns Omid Gheibi
+	Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343.	2019	Simos Gerasimou Thomas Vogel Ada Diaconescu
+ PDF Chat	Decentralized Self-Adaptive Systems: A Mapping Study	2021	Federico Quin Danny Weyns Omid Gheibi
+	Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343	2019	Simos Gerasimou Thomas Vogel Ada Diaconescu
+	Assessing Trustworthiness of Autonomous Systems	2023	Greg Chance Dhaminda B. Abeywickrama Beckett LeClair Owen Kerr Kerstin Eder
+	Specifying Autonomous System Behaviour	2023	Andrew Sogokon Burak Yüksek Gökhan İnalhan Neeraj Suri
+	Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust	2020	Ufuk Topcu Nadya Bliss Nancy J. Cooke M. L. Cummings Ashley J. Llorens Howard Shrobe Lenore D. Zuck
+ PDF Chat	Expecting the unexpected	2020	Assaf Marron Lior Limonad Sarah Pollack David Harel
+ PDF Chat	The Need for a Meta-Architecture for Robot Autonomy	2022	Stalin Muñoz Gerald Steinbauer-Wagner

Works That Cite This (1)

Action	Title	Year	Authors
+	Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions	2020	Assaf Marron Lior Limonad Sarah Pollack David Harel

Works Cited by This (5)

Action	Title	Year	Authors
+ PDF Chat	Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks	2017	Guy Katz Clark Barrett David L. Dill Kyle D. Julian Mykel J. Kochenderfer
+	On a Formal Model of Safe and Scalable Self-driving Cars	2017	Shai Shalev‐Shwartz Shaked Shammah Amnon Shashua
+	CARLA: An Open Urban Driving Simulator	2017	Alexey Dosovitskiy Germán Ros Felipe Codevilla Antonio M. López Vladlen Koltun
+	Paracosm: A Language and Tool for Testing Autonomous Driving Systems	2019	Rupak Majumdar Aman Mathur Marcus Pirron Laura Stegner Damien Zufferey
+ PDF Chat	Autonomous Systems – An Architectural Characterization	2019	Joseph Sifakis