Mark Asuncion

Publication Activity (10 Years)

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

Top Topics

Planning Domains

Symbolic Model Checking

Abstract Interpretation

Automated Verification

Top Venues

Publications

Luai Al-Labadi, Ayman Alzaatreh, Mark Asuncion
Model Checking with Right Censored Data Using Relative Belief Ratio. Entropy 24 (11) (2022)