We stand with Ukraine  

Manish Goyal

Orcid: 0000-0002-5622-3559

Affiliations:
  • University of North Carolina at Chapel Hill, Department of Computer Science, NC, USA
  • University of Connecticut, Department of Computer Science and Engineering, Storrs, CT, USA (former)


According to our database1, Manish Goyal authored at least 10 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.
[BibTeX]
[DOI]
Manish Goyal
,
David Bergman
,
Parasara Sridhar Duggirala
CoRR, 2023

2022
Behavioral validation in Cyber-physical systems: Safety violations and beyond.
[BibTeX]
[DOI]
Manish Goyal
PhD thesis, 2022

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

2021
Concurrency groups: a new way to look at real-time multiprocessor lock nesting.
[BibTeX]
[DOI]
Catherine E. Nemitz
,
Tanya Amert
,
Manish Goyal
,
James H. Anderson
Real Time Syst., 2021

Direct Construction of Program Alignment Automata for Equivalence Checking.
[BibTeX]
[DOI]
Manish Goyal
,
Muqsit Azeem
,
Kumar Madhukar
,
R. Venkatesh
CoRR, 2021

Safety and progress proofs for a reactive planner and controller for autonomous driving.
[BibTeX]
[DOI]
Abolfazl Karimi
,
Manish Goyal
,
Parasara Sridhar Duggirala
CoRR, 2021

2020
Extracting counterexamples induced by safety violation in linear hybrid systems.
[BibTeX]
[DOI]
Manish Goyal
,
Parasara Sridhar Duggirala
Autom., 2020

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.
[BibTeX]
[DOI]
Manish Goyal
,
Parasara Sridhar Duggirala
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.
[BibTeX]
[DOI]
Manish Goyal
,
David Bergman
,
Parasara Sridhar Duggirala
Proceedings of the 2020 American Control Conference, 2020

2018
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.
[BibTeX]
[DOI]
Manish Goyal
,
Parasara Sridhar Duggirala
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018


  Loading...