@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@inproceedings{KM23,
  title={A Fast and Accurate ASP Counting Based Network Reliability Estimator},
  author={Kabir, Mohimenul and Meel, Kuldeep S.},
  abstract={The quantification of system reliability is fundamental to the assessment of a system’s
safety and resilience, and has been of interest to decision-makers. Since quantifying the
system reliability is shown to be computationally intractable, researchers aim to find ap-
proximations. Existing approaches to approximate reliability either suffer from poor scal-
ability or lack of correctness guarantees. Answer Set Programming (ASP) is a powerful
tool for knowledge representation that can specify complex combinatorial problems. In
recent years, the new applications of ASP have propelled the emergence of well-engineered
ASP systems. This paper proposes a new ASP counting based framework, RelNet-ASP,
to approximate or estimate the reliability of a system or network. The framework reduces
the problem of reliability estimation to an approximate model counting problem on ASP
programs, offering formal guarantees of the estimated reliability. The experimental eval-
uation demonstrates that RelNet-ASP outperforms state-of-the-art techniques in terms of
both runtime performance and accuracy.},
  year={2023},
  month=jun,
  booktitle=LPAR,
  bib2html_rescat={Counting},
  bib2html_pubtype={Refereed Conference},
  bib2html_dl_pdf={../Papers/lpar23-km.pdf},
}