Login / Signup
Tushar Hedaoo
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Uncertain Data
Temporal Properties
Top Venues
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Ivan Ruchkin
,
Oleg Sokolsky
,
James Weimer
,
Tushar Hedaoo
,
Insup Lee
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (11) (2020)