Manish Goyal

15 papers B 1C 2Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2024 C conf
Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm.
MEMOCODE
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
2023 J jnl
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.
CoRR
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
2022 — —
Behavioral validation in Cyber-physical systems: Safety violations and beyond.
Manish Goyal
2022 J jnl
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation.
CoRR
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
2022 J jnl
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
2021 J jnl
Concurrency groups: a new way to look at real-time multiprocessor lock nesting.
Real Time Syst.
Catherine E. Nemitz, Tanya Amert, Manish Goyal, James H. Anderson
2021 J jnl
Direct Construction of Program Alignment Automata for Equivalence Checking.
CoRR
Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh
2021 J jnl
Safety and progress proofs for a reactive planner and controller for autonomous driving.
CoRR
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
2020 J jnl
Extracting counterexamples induced by safety violation in linear hybrid systems.
Autom.
Manish Goyal, Parasara Sridhar Duggirala
2020 C conf
Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.
ACC
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
2020 B conf
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.
ATVA
Manish Goyal, Parasara Sridhar Duggirala
2020 — conf
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.
L4DC
Manish Goyal, Parasara Sridhar Duggirala
2020 J jnl
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.
CoRR
Manish Goyal, Parasara Sridhar Duggirala
2019 Misc conf
Concurrency groups: a new way to look at real-time multiprocessor lock nesting.
RTNS
Catherine E. Nemitz, Tanya Amert, Manish Goyal, James H. Anderson
2018 — conf
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.
ADHS
Manish Goyal, Parasara Sridhar Duggirala