Autonoma robotsystem är komplexa, hybrida och ofta säkerhetskritiska, vilket gör deras formella specifikation och verifiering unikt utmanande. Även om tester och simuleringar är vanliga är de otillräckliga för att säkerställa riktigheten av, eller tillhandahålla tillräckliga bevis för certifiering av, autonoma robotik. Formella metoder för autonom robotik har fått viss uppmärksamhet i litteraturen, men ingen resurs ger en aktuell översikt. I denna artikel görs en systematisk kartläggning av den senaste tekniken i form av formell specifikation och verifiering för autonoma robotar. Särskilt kartläggs och kategoriseras de utmaningar som utgörs av, de formalismer som eftersträvas och de formella tillvägagångssätten för specificering och kontroll av autonom robotik.
En utökad undersökning om formell specifikation och verifiering av autonoma robotsystem presenteras i REF.
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
{'venue': 'CSUR', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}