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.
CoRR, 2023

2022
Behavioral validation in Cyber-physical systems: Safety violations and beyond.
PhD thesis, 2022

NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021
Concurrency groups: a new way to look at real-time multiprocessor lock nesting.
Real Time Syst., 2021

Direct Construction of Program Alignment Automata for Equivalence Checking.
CoRR, 2021

Safety and progress proofs for a reactive planner and controller for autonomous driving.
CoRR, 2021

2020
Extracting counterexamples induced by safety violation in linear hybrid systems.
Autom., 2020

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2020

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.
Proceedings of the 2020 American Control Conference, 2020

2018
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018


  Loading...