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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
498 Consultations
368 Téléchargements

Partager

  • More