Interval Methods applied to Signal Temporal Logic - Overview and Extension on Tubes - Centre Interdisciplinaire d'Études pour la Défense et la Sécurité (CIEDS)
Communication Dans Un Congrès Année : 2024

Interval Methods applied to Signal Temporal Logic - Overview and Extension on Tubes

Mots clés

STL Interval Methods

Domaines

Logique en informatique [cs.LO] Robotique [cs.RO]
Fichier principal
Vignette du fichier
SWIM2024_Template.pdf (165.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Joris Tillet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04716742

Soumis le : mardi 1 octobre 2024-14:47:44

Dernière modification le : lundi 16 décembre 2024-12:09:38

Télécharger pour visualiser

Dates et versions

hal-04716742 , version 1 (01-10-2024)

Identifiants

  • HAL Id : hal-04716742 , version 1

Citer

Joris Tillet, Elena Vanneaux, Julien Alexandre Dit Sandretto. Interval Methods applied to Signal Temporal Logic - Overview and Extension on Tubes. Summer Workshop on Interval Methods (SWIM) 2024, Jun 2024, Maastricht, Netherlands. ⟨hal-04716742⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA ENSTA_U2IS IP_PARIS CIEDS
70 Consultations
15 Téléchargements

Partager

More