Miheer Dewaskar
Orcid: 0000-0002-7672-2531
According to our database1,
Miheer Dewaskar
authored at least 5 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
J. Mach. Learn. Res., 2023
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
2020
2019
2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017