Most research in cyber-physical systems considers design of algorithms and their implementation separately. This poses a problem when dealing with cyber-physica

This contributed volume aims to build the foundation of a framework for computationally aware algorithmic design for cyber-physical systems (CPSs), focusing on

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 3