Tushar Hedaoo

According to our database, Tushar Hedaoo authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.

Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee

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