@article{BreitenreiterAndjelkovićSchrapeetal.2022,
  author    = {Anselm Breitenreiter and Marko Andjelković and Oliver Schrape and Miloš Krstić},
  title     = {Fast error propagation probability estimates by answer set programming and approximate model counting},
  journal   = {IEEE Access},
  volume    = {10},
  pages     = {51814 -- 51825},
  doi       = {10.1109/ACCESS.2022.3174564},
  year      = {2022},
}