Luan Viet Nguyen

Motion Planning Using Hyperproperties for Time Window Temporal Logic

Hyperproperties are increasingly popular in verifying security policies and synthesis of control for dynamic systems. Hyperproperties generalize trace properties to enable reasoning about multiple computation traces that traditional trace properties cannot. Recent works show the effectiveness and pr