Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Robotics and autonomous systems, 2023-06, Vol.164, p.104404, Article 104404
2023
Volltextzugriff (PDF)

Open Access
Assured Mission Adaptation of UAVs
ACM transactions on autonomous and adaptive systems, 2022-07, Vol.16 (3-4), p.1-27
2022
Volltextzugriff (PDF)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022
2022
Volltextzugriff (PDF)

ACM transactions on autonomous and adaptive systems, 2024-03, Vol.19 (1), p.1-35, Article 3
2024
Volltextzugriff (PDF)

2020 IEEE International Conference on Robotics and Automation (ICRA), 2020, p.11472-11478
2020
Volltextzugriff (PDF)

2021 IEEE International Conference on Robotics and Automation (ICRA), 2021, p.6824-6830
2021
Volltextzugriff (PDF)



Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.397-414
Volltextzugriff (PDF)

British journal of haematology, 2018-01, Vol.180 (1), p.100-109
2018
Volltextzugriff (PDF)