@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{DMPV17,
  title={Counting-Based Reliability Estimation for Power-Transmission Grids},
  author={
    Duenas-Osorio, Leonardo and Meel, Kuldeep S. and Paredes, Roger and Vardi,
    Moshe Y.
  },
  year={2017},
  booktitle=AAAI,
  month=feb,
  bib2html_dl_pdf={../Papers/AAAI17.pdf},
  bib2html_pubtype={Refereed Conference},
  bib2html_rescat={Counting},
  abstract={
    Modern society is increasingly reliant on the functionality of
    infrastructure facilities and utility services. Consequently, there
    has been surge of interest in the problem of quantification of
    system reliability, which is known to be #P-complete. Reliability also
    contributes to the resilience of systems, so as to effectively make them
    bounce back after contingencies. Despite
    diverse progress, most techniques to estimate system reliability and
    resilience remain computationally expensive. In this paper, we investigate
    how recent advances in hashing-based approaches to counting can
    be exploited to improve computational techniques for system
    reliability.
    The primary contribution of this paper is a novel
    framework, RelNet, that provides provably approximately correct (PAC)
    estimates for arbitrary networks.
    We then apply RelNet to ten real world power transmission grids across
    different cities in the U.S. and are able to obtain, to the best of
    our knowledge, the first theoretically sound a priori estimates of
    reliability between several pairs of nodes of interest. Such estimates will
    help managing uncertainty and support rational decision making for community
    resilience.
  },
}