| Artificial neural networks in tandem with molecular descriptors as predictive tools for continuous liposome manufacturing S Sansare, T Duran, H Mohammadiarani, M Goyal, G Yenduri, A Costa, ... International Journal of Pharmaceutics 603, 120713, 2021 | 21 | 2021 |
| Concurrency groups: a new way to look at real-time multiprocessor lock nesting CE Nemitz, T Amert, M Goyal, JH Anderson Proceedings of the 27th International Conference on Real-Time Networks and …, 2019 | 10 | 2019 |
| Neuralexplorer: state space exploration of closed loop control systems using neural networks M Goyal, PS Duggirala Automated Technology for Verification and Analysis: 18th International …, 2020 | 6 | 2020 |
| On generating a variety of unsafe counterexamples for linear dynamical systems M Goyal, PS Duggirala IFAC-PapersOnLine 51 (16), 139-144, 2018 | 6 | 2018 |
| Extracting counterexamples induced by safety violation in linear hybrid systems M Goyal, PS Duggirala Automatica 117, 109005, 2020 | 5 | 2020 |
| Direct Construction of Program Alignment Automata for Equivalence Checking M Goyal, M Azeem, K Madhukar, R Venkatesh arXiv preprint arXiv:2109.01864, 2021 | 3 | 2021 |
| Generating longest counterexample: On the cross-roads of mixed integer linear programming and SMT M Goyal, D Bergman, PS Duggirala 2020 American Control Conference (ACC), 1823-1829, 2020 | 3 | 2020 |
| Learning Robustness of Nonlinear Systems Using Neural Networks M Goyal, PS Duggirala Workshop on the Design and Analysis of Robust Systems, 2019 | 3 | 2019 |
| Safety Analysis of Hybrid Systems with SpaceEx G Frehse, A Donzé, S Cotton, R Ray, O Lebeltel, M Goyal, R Ripado, ... Computational Modeling and Analysis for Complex Systems (CMACS) Seminar. CMACS, 2011 | 3 | 2011 |
| NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation M Goyal, M Dewaskar, PS Duggirala IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 2 | 2022 |
| Behavioral validation in Cyber-physical systems: Safety violations and beyond M Goyal The University of North Carolina at Chapel Hill, 2022 | 2 | 2022 |
| Safety and progress proofs for a reactive planner and controller for autonomous driving A Karimi, M Goyal, PS Duggirala arXiv preprint arXiv:2107.05815, 2021 | 2 | 2021 |
| Reachability Analysis of Hybrid Systems: An Experience Report M Goyal International Journal of Modeling and Optimization 2 (6), 681-686, 2012 | 2 | 2012 |
| Translation between cif and spaceex/phaver M Goyal Master's thesis, Verimag Research Lab, 2011 | 2 | 2011 |
| BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs M Goyal, D Bergman, PS Duggirala arXiv preprint arXiv:2311.15343, 2023 | | 2023 |
