Quantitative Bounds on Resource Usage of Probabilistic Programs - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Quantitative Bounds on Resource Usage of Probabilistic Programs

Fichier principal
Vignette du fichier
main.pdf (808.37 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04491689 , version 1 (06-03-2024)

Identifiants

  • HAL Id : hal-04491689 , version 1

Citer

Krishnendu Chatterjee, Amir Goharshady, Tobias Meggendorfer, Ðorđe Žikelić. Quantitative Bounds on Resource Usage of Probabilistic Programs. 2024. ⟨hal-04491689⟩
19 Consultations
110 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More