535327 Verifying Performance Specifications for Dynamic Processes Under Uncertainty Using Backward Reachability Analysis

Kai Shen, Xuejiao Yang and Joseph Scott, Chemical and Biomolecular Engineering, Clemson University, Clemson, SC
See more of this Session: Division Plenary: CAST (Invited Talks)
See more of this Group/Topical: Computing and Systems Technology Division