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
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...