Manish Goyal
Orcid: 0000-0002-5622-3559Affiliations:
- 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 11 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024
2023
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.
CoRR, 2023
2022
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
CoRR, 2021
Safety and progress proofs for a reactive planner and controller for autonomous driving.
CoRR, 2021
2020
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
2019
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019
2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018