Record link: 
http://hdl.handle.net/20.500.12708/227802
-
Title: 
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
en
Citation: 
Randone, F., Doz, R., Tribastone, M., & Bortolussi, L. (2026). DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 566–585). https://doi.org/10.1007/978-3-032-22752-2_29
-
Publisher DOI: 
10.1007/978-3-032-22752-2_29
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Randone, Francesca 
Doz, Romina 
Tribastone, Mirco 
Bortolussi, Luca 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
Tools and Algorithms for the Construction and Analysis of Systems 
-
ISBN: 
978-3-032-22752-2
-
Volume: 
16505
-
Date (published): 
2026
-
Event name: 
32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026) 
en
Event date: 
13-Apr-2026 - 16-Apr-2026
-
Event place: 
Italy
-
Number of Pages: 
20
-
Peer reviewed: 
Yes
-
Keywords: 
Differentiable semantics; Gaussian approximate semantics; Gaussian mixture semantics
en
 
Probabilistic programming; Loopless probabilistic programs
-
Project title: 
Exploring Moment-Based Equivalence for probabilistic programs: 101205923 (European Commission) 
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

9
checked on Apr 27, 2026

Google ScholarTM

Check