Sriram Sankaranarayanan Aleksandar Chakarov Sumit Gulwani University of Colorado / University of Colorado / /
IndustryTerm
uncertain systems / lattice counting tool / traffic control systems / linear feedback control systems / cyber-physical systems / control systems / computing / overall algorithm / software systems / bound algorithm / /
Organization
University of Colorado / Boulder / /
Person
Monte-Carlo Estimate / Carlo Sampling / Sriram Sankaranarayanan Aleksandar Chakarov Sumit / /