Ratnesh Kumar

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 48

Top Topics

Quantifier Elimination

Failure Diagnosis

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE Trans Autom. Sci. Eng.

Publications