Specifying safety monitors for autonomous systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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).
Fichier principal
Vignette du fichier
machin2013specifying.pdf (105.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00841711 , version 1 (22-07-2013)
hal-00841711 , version 2 (22-07-2013)

Identifiants

  • HAL Id : hal-00841711 , version 2

Citer

Mathilde Machin, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck. Specifying safety monitors for autonomous systems. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00841711v2⟩
242 Consultations
202 Téléchargements

Partager

Gmail Facebook X LinkedIn More