Author:
Müller Manuel S.,Jung Tobias,Jazdi Nasser,Weyrich Michael
Subject
Control and Systems Engineering
Reference73 articles.
1. Foundations of trusted autonomy;Abbass,2018
2. Abrial J. Modeling in Event-B - System and Software Engineering. undefined 2010.
3. Task human reliability analysis for a safe operation of autonomous ship;Allal,2017
4. ark-funds.com. ARKQ - Autonomous Technology & Robotics ETF by ARK Invest, https://ark-funds.com/arkq; 2021 [accessed July 2, 2021].
5. Temporal Logic (TL)-Based Autonomy for Smart Manufacturing Systems;Bank;Procedia Manufacturing,2018