Welcome to the website of the CS theory group at CU Boulder! Our faculty and students research all aspects of theoretical computer science, from core areas such as algorithms, complexity, and ...
Abstract: Estimating the reachable set of a dynamical system is a fundamental problem in control theory, particularly when control inputs are bounded. Direct simulation using randomly sampled ...
Abstract: A new modeling framework integrating Ramer-Douglas-Peucker (RDP) non-uniform sampling (NUS) with a Long Short-Term Memory (LSTM)-Fully Connected Network (FCN) hybrid neural network (LFN) is ...