André Platzer
Axioms Cyber-physical systems Differential dynamic logic Formal verification Hybrid games Hybrid systems
Published: Apr 5, 2018
Description:
Cyber-Physical Systems