Manish Goyal

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Linear Dynamical Systems

Mixed Integer Linear Programming

Space Exploration

Top Venues

Publications

Manish Goyal, David Bergman, Parasara Sridhar Duggirala
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. CoRR (2023)
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation. CoRR (2022)
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
Safety and progress proofs for a reactive planner and controller for autonomous driving. CoRR (2021)
Catherine E. Nemitz, Tanya Amert, Manish Goyal, James H. Anderson
Concurrency groups: a new way to look at real-time multiprocessor lock nesting. Real Time Syst. 57 (1-2) (2021)
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
Direct Construction of Program Alignment Automata for Equivalence Checking. CoRR (2021)
Manish Goyal, Parasara Sridhar Duggirala
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. ATVA (2020)
Manish Goyal, Parasara Sridhar Duggirala
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. L4DC (2020)
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. ACC (2020)
Manish Goyal, Parasara Sridhar Duggirala
Extracting counterexamples induced by safety violation in linear hybrid systems. Autom. 117 (2020)
Manish Goyal, Parasara Sridhar Duggirala
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. CoRR (2020)
Catherine E. Nemitz, Tanya Amert, Manish Goyal, James H. Anderson
Concurrency groups: a new way to look at real-time multiprocessor lock nesting. RTNS (2019)
Manish Goyal, Parasara Sridhar Duggirala
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. ADHS (2018)