Formal Synthesis of Control Strategies for Dynamical Systems

Date
Formal Synthesis

Event Menu

Description

Philadelphia Section Jt Chapter,CAS04/CS23/SMC2