Miheer Dewaskar

According to our database, Miheer Dewaskar authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.

Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2020

Finding Stable Groups of Cross-Correlated Features in Multi-View data.

Miheer Dewaskar, John Palowitch, Mark He, Michael I. Love, Andrew B. Nobel

CoRR, 2020

2019

Controlling a population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole

Log. Methods Comput. Sci., 2019

2017

Controlling a Population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert

Proceedings of the 28th International Conference on Concurrency Theory, 2017