Validation, Synthesis and Optimization for Cyber-Physical Systems.

Kim Guldstrand Larsen
Published in: TACAS (1) (2017)