Sign in
Nabarun Deka
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Weighted Sum
Pointwise
Uncertain Environments
Single Camera
Top Venues
FSTTCS
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Habeeb P
,
Nabarun Deka
,
Deepak D'Souza
,
Kamal Lodaya
,
Pavithra Prabhakar
Verification of Camera-Based Autonomous Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
42 (10) (2023)
Raveendra Holla
,
Nabarun Deka
,
Deepak D'Souza
On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics.
FSTTCS
(2021)