CPS Small: Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems Submitted by Jason Gigax on Fri, 01/13/2023 - 14:51 CPS1932620 2022 CPS PI Meeting 2022