Francesca Randone

According to our database, Francesca Randone authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures.

Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone

Proc. ACM Program. Lang., January, 2024

Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems.

Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

2022

Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling.

Francesca Randone, Luca Bortolussi, Mirco Tribastone

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Refining Mean-field Approximations by Dynamic State Truncation.

Francesca Randone, Luca Bortolussi, Mirco Tribastone

Proc. ACM Meas. Anal. Comput. Syst., 2021

Model learning with personalized interpretability estimation (ML-PIE).

Marco Virgolin, Andrea De Lorenzo, Francesca Randone, Eric Medvet, Mattias Wahde

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

Learning a Formula of Interpretability to Learn Interpretable Formulas.

Marco Virgolin, Andrea De Lorenzo, Eric Medvet, Francesca Randone

Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020