Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter - Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)
Communication Dans Un Congrès Année : 2024

Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter

Domaines

Logique en informatique [cs.LO] Robotique [cs.RO]
Fichier principal
Vignette du fichier
main.pdf (199.25 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-04716766

Soumis le : mardi 1 octobre 2024-14:53:24

Dernière modification le : mercredi 9 octobre 2024-11:07:17

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-04716766 , version 1

Citer

Joris Tillet, Julien Alexandre dit Sandretto, Elena Vanneaux. Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter. CCC 2024 - Continuity, Computability, Constructivity From Logic to Algorithms, Oct 2024, Nice, France. ⟨hal-04716766⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA_U2IS IP_PARIS CIEDS
16 Consultations
11 Téléchargements

Partager

More