University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 79 items
Thumbnail for Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Fan, Chuchu; Kapinski, James; Jin, Xiaoqing; Mitra, Sayan

Thumbnail for Verification of Annotated Models from Executions
Verification of Annotated Models from Executions
Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh