Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. - Adina Aniculaesei; Daniel Arnsberger; Falk Howar; Andreas Rausch 001 (V2CPS@IFM, 2016)