KP Jevitha

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Continuous Time Bayesian Networks

Top Venues

Publications

KP Jevitha, Bharat Jayaraman, M. Sethumadhavan
Runtime Verification on Abstract Finite State Models. CoRR (2024)