@misc{indiciaee426964f37b4,
  title = {Towards Verification of Uncertain Cyber-Physical Systems},
  author = {Carna Radojicic and Christoph Grimm and Axel Jantsch and Michael Rathmair},
  year = {2017},
  doi = {10.4204/eptcs.247.1},
  url = {https://arxiv.org/abs/1705.00519},
  note = {Source identifier: 1705.00519}
}