Veilige en betrouwbare autonome systemen - formele specificatie en verificatie

Dit proefschrift bestudeert de formele specificatie en verificatie van autonome besluitvorming van agenten, rekening houdend met veiligheidsbeperkingen, in een context van niet-deterministische acties en perceptie. Dit onderzoek kan evolueren naar begrensde modelcontrole of het genereren van correct per constructie beleid. De resultaten worden gevalideerd in een joint use case over de autonome mobiele robot.