Autonomics: In search of a foundation for next-generation autonomous systems

Harel, David, Marron, Assaf, Sifakis, Joseph · Proceedings of the National Academy of Sciences · 2020