@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},
}