@Inproceedings{EPTCS232.10,
  author    = {Aniculaesei, Adina  and  Arnsberger, Daniel and Howar, Falk  and Rausch, Andreas },
  year      = {2016},
  title     = {Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments},
  editor    = {Kargahi, Mehdi and Trivedi, Ashutosh},
  booktitle = {{\rm Proceedings of the The First Workshop on}
               Verification and Validation of Cyber-Physical Systems,
               {\rm Reykjav\'ik, Iceland, June 4-5, 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {232},
  publisher = {Open Publishing Association},
  pages     = {79-90},
  doi       = {10.4204/EPTCS.232.10},
}