Romina Doz

According to our database, Romina Doz authored at least 1 paper in 2024.

Collaborative distances:

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

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