Specifying safety monitors for autonomous systems
Résumé
The approach is to strengthen the elicitation of safety monitor requirements for autonomous systems by the use of formal methods (e.g., model-checking, controllable natural language).
Domaines
Robotique [cs.RO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...