Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance - Inria - Institut national de recherche en sciences et technologies du numérique
  Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Communication Dans Un Congrès Année : 2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Jesse Reimann
Delft University of Technology
Nico Mansion
Saarland University [Saarbrücken]
James Haydon
National Institute of Informatics
Benjamin Bray
National Institute of Informatics
Agnishom Chattopadhyay
Rice University [Houston]
Sota Sato
National Institute of Informatics
Graduate University for Advanced Studies [Hayama]
Masaki Waga
Kyoto University
National Institute of Informatics
Étienne André
Laboratoire d'Informatique de Paris-Nord
CV
Ichiro Hasuo
National Institute of Informatics
Graduate University for Advanced Studies [Hayama]
Naoki Ueda
Mitsubishi Electric Corporation
Yosuke Yokoyama
Mitsubishi Electric Corporation

Domaines

Logique en informatique [cs.LO] Systèmes et contrôle [cs.SY]

Étienne André  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04654301

Soumis le : vendredi 19 juillet 2024-14:58:59

Dernière modification le : samedi 20 juillet 2024-03:21:33

Consulter le texte intégral

Dates et versions

hal-04654301 , version 1 (19-07-2024)

Licence

Paternité

Identifiants

Citer

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, et al.. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), Apr 2024, Avila, Espagne, Spain. pp.186-195, ⟨10.1145/3605098.3636014⟩. ⟨hal-04654301⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

10 Consultations
0 Téléchargements

Altmetric

Partager

More