–
TECoSA Seminar with Marjan Sirjani, Mälardalen University and KTH, will take place on Oct 1. Zoom-link for the seminar is : https://kth-se.zoom.us/j/66857695267 Abstract: Distributed cyber-physical systems such as autonomous vehicles, industrial controllers, and collaborative robots must operate correctly despite the uncertainties in the system and environment. In this talk, I show how we use nondeterminism as the… Read More »TECoSA seminar – Engineering Nondeterminism: Towards Trustworthy Cyber-Physical Systems