@misc{indiciaeafa9be2508aa,
  title = {Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments},
  author = {Adina Aniculaesei and Daniel Arnsberger and Falk Howar and Andreas Rausch},
  year = {2016},
  doi = {10.4204/eptcs.232.10},
  url = {https://arxiv.org/abs/1612.04977},
  note = {Source identifier: 1612.04977}
}