Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter
Origine | Fichiers produits par l'(les) auteur(s) |
---|
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 : lundi 16 décembre 2024-12:08:53