Variable Probabilistic Abstraction Refinement

Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter. Variable Probabilistic Abstraction Refinement. In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 300-316, Springer, 2012. [doi]

@inproceedings{FioritiHHW12,
  title = {Variable Probabilistic Abstraction Refinement},
  author = {Luis María Ferrer Fioriti and Ernst Moritz Hahn and Holger Hermanns and Björn Wachter},
  year = {2012},
  doi = {10.1007/978-3-642-33386-6_24},
  url = {http://dx.doi.org/10.1007/978-3-642-33386-6_24},
  researchr = {https://researchr.org/publication/FioritiHHW12},
  cites = {0},
  citedby = {0},
  pages = {300-316},
  booktitle = {Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings},
  editor = {Supratik Chakraborty and Madhavan Mukund},
  volume = {7561},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33385-9},
}