@misc{indiciaef1c8ed736f69,
  title = {SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes},
  author = {Valentina Castiglioni and Daniel Gebler and Simone Tini},
  year = {2018},
  doi = {10.23638/lmcs-14(2:18)2018},
  url = {https://arxiv.org/abs/1701.08330},
  note = {Source identifier: 1701.08330}
}