Nabarun Deka

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Polynomial Approximation

Uncertain Environments

Top Venues

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

Publications

Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Deciding branching hyperproperties for real time systems. CoRR (2024)
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)