TY  - RPRT
TI  - Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
AU  - Adina Aniculaesei
AU  - Daniel Arnsberger
AU  - Falk Howar
AU  - Andreas Rausch
PY  - 2016
DO  - 10.4204/eptcs.232.10
UR  - https://arxiv.org/abs/1612.04977
ID  - 1612.04977
ER  -