On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. - Manish Goyal 002; Parasara Sridhar Duggirala (ADHS, 2018)

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. - Manish Goyal 002; David Bergman; Parasara Sridhar Duggirala (ACC, 2020)

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. - Manish Goyal 002; Parasara Sridhar Duggirala (L4DC, 2020)

Extracting counterexamples induced by safety violation in linear hybrid systems. - Manish Goyal 002; Parasara Sridhar Duggirala (Autom., 2020)

Safety and progress proofs for a reactive planner and controller for autonomous driving. - Abolfazl Karimi; Manish Goyal 002; Parasara Sridhar Duggirala (CoRR, 2021)

Direct Construction of Program Alignment Automata for Equivalence Checking. - Manish Goyal 002; Muqsit Azeem; Kumar Madhukar; R. Venkatesh 001 (CoRR, 2021)

Concurrency groups: a new way to look at real-time multiprocessor lock nesting. - Catherine E. Nemitz; Tanya Amert; Manish Goyal 002; James H. Anderson (Real Time Syst., 2021)

NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. - Manish Goyal 002; Miheer Dewaskar; Parasara Sridhar Duggirala (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Behavioral validation in Cyber-physical systems: Safety violations and beyond. - Manish Goyal 002 (2022)

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. - Manish Goyal 002; David Bergman; Parasara Sridhar Duggirala (CoRR, 2023)

Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. - Abolfazl Karimi; Manish Goyal 002; Parasara Sridhar Duggirala (MEMOCODE, 2024)