Login / Signup
Mandayam K. Srivas
Publication Activity (10 Years)
Years Active: 1980-2023
Publications (10 Years): 7
Top Topics
Formal Methods
Interactive Dynamic Influence Diagrams
Invariant Representations
Reactive Systems
Top Venues
ATVA
CoRR
Acta Informatica
FMCAD
</>
Publications
</>