Vivian M. Ho

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Decision Theoretic Planning

Information Theoretic

Bayesian Networks

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson
Program analysis using empirical abstraction. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson
Empirical Abstraction. RV (2020)