<div class="csl-bib-body">
<div class="csl-entry">Randone, F., Doz, R., Tribastone, M., & Bortolussi, L. (2026). DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. In <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (pp. 566–585). https://doi.org/10.1007/978-3-032-22752-2_29</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/227802
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Differentiable semantics
en
dc.subject
Gaussian approximate semantics
en
dc.subject
Gaussian mixture semantics
en
dc.subject
Probabilistic programming
-
dc.subject
Loopless probabilistic programs
-
dc.title
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-3-032-22752-2
-
dc.description.startpage
566
-
dc.description.endpage
585
-
dc.relation.grantno
101205923
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Tools and Algorithms for the Construction and Analysis of Systems
-
tuw.container.volume
16505
-
tuw.peerreviewed
true
-
tuw.project.title
Exploring Moment-Based Equivalence for probabilistic programs
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-032-22752-2_29
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0009-0002-3489-9600
-
tuw.author.orcid
0009-0008-0210-6673
-
tuw.author.orcid
0000-0002-6018-5989
-
tuw.author.orcid
0000-0001-8874-4001
-
tuw.event.name
32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)
en
tuw.event.startdate
13-04-2026
-
tuw.event.enddate
16-04-2026
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
IT
-
tuw.event.presenter
Randone, Francesca
-
tuw.event.presenter
Doz, Romina
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
101205923
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
