Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Daniel Arnsberger"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 232, Iss Proc. V2CPS-16, Pp 79-90 (2016)
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to the uncertainty in these environments, the verification results obtai
Externí odkaz:
https://doaj.org/article/4719404127614d1988a1ff5f6b2c67d1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 232, Iss Proc. V2CPS-16, Pp 79-90 (2016)
V2CPS@IFM
V2CPS@IFM
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to the uncertainty in these environments, the verification results obtai