A. Prasad Sistla

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 18

Top Topics

Probabilistic Automata

Declarative Language

Consistency Checking

Top Venues

Publications