Francesca Randone
Projektass. / PhD
Role
-
PostDoc Researcher
Cyber-Physical Systems, E191-01
Projects
-
Exploring Moment-Based Equivalence for probabilistic programs
2025 – 2027 / European Commission
Publication: 227802
Publications
-
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
/
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
Project: EMBEr_ (2025–2027)