scholarly journals A model based design framework for safety verification of a semi-autonomous inspection drone

Author(s):  
Owen McAree ◽  
Jonathan M. Aitken ◽  
Sandor M. Veres
2019 ◽  
Vol 58 (27) ◽  
pp. 12097-12115 ◽  
Author(s):  
Kaiyu Cao ◽  
Prashanth Siddhamshetty ◽  
Yuchan Ahn ◽  
Rajib Mukherjee ◽  
Joseph Sang-Il Kwon

2017 ◽  
Vol 25 (0) ◽  
pp. 797-810 ◽  
Author(s):  
Tasuku Ishigooka ◽  
Habib Saissi ◽  
Thorsten Piper ◽  
Stefan Winter ◽  
Neeraj Suri

2020 ◽  
Vol 140 ◽  
pp. 105471
Author(s):  
Spardha Jhamb ◽  
Xiaodong Liang ◽  
Kim Dam-Johansen ◽  
Georgios M. Kontogeorgis

2018 ◽  
Vol 97 (1-4) ◽  
pp. 519-528 ◽  
Author(s):  
Ulrich Thombansen ◽  
Guido Buchholz ◽  
Daniel Frank ◽  
Julian Heinisch ◽  
Maximilian Kemper ◽  
...  

2013 ◽  
Vol 79 (807) ◽  
pp. 4061-4074
Author(s):  
Masashi MIZUTA ◽  
Masaya HIROOKA ◽  
Yutaka NOMAGUCHI ◽  
Kikuo FUJITA

Sign in / Sign up

Export Citation Format

Share Document