Zobrazeno 1 - 4
of 4
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c9d0e0b782f5214eed2b62d53cd2e0b
https://doaj.org/article/4719404127614d1988a1ff5f6b2c67d1
https://doaj.org/article/4719404127614d1988a1ff5f6b2c67d1
Autor:
ASHMORE, ROB1 rdashmore@dstl.gov.uk, CALINESCU, RADU2 radu.calinescu@york.ac.uk, PATERSON, COLIN2 colin.paterson@york.ac.uk
Publikováno v:
ACM Computing Surveys. Jun2022, Vol. 54 Issue 5, p1-39. 39p.
Autor:
LUCKCUCK, MATT1 m.luckcuck@liverpool.ac.uk, FARRELL, MARIE1 marie.farrell@liverpool.ac.uk, DENNIS, LOUISE A.1 l.a.dennis@liverpool.ac.uk, DIXON, CLARE1 cldixon@liverpool.ac.uk, FISHER, MICHAEL1 mfisher@liverpool.ac.uk
Publikováno v:
ACM Computing Surveys. Sep2020, Vol. 52 Issue 5, p1-41. 41p. 4 Charts.