Dario Pagani
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Research Interests
Dario Pagani has a total of 4 co-authors. Here are the top co-authors by number of shared publications:
- Adriano Fagiolini
University of Palermo, Palermo, Italy
1 shared publication - Cinzia Bernardeschi
University of Pisa, Pisa, Italy
1 shared publication - Federico Rossi
University of Pisa, Pisa, Italy
1 shared publication - Giuseppe Lettieri
University of Pisa
1 shared publication
Latest Publications
- Open Access
- 8 April 2026
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 28 (2) , 235-250
Statistical model checking of a dynamic vehicle platoon
In automotive engineering, vehicle platooning is a proposed method for improving convoy movements by coordinating them to increase the safety and efficiency of transportation systems. The complexity and stochastic nature of platooning systems provide difficulties for traditional model-checking techniques. However, Statistical Model Checking (SMC) offers a solution by using statistical inference to probabilistically evaluate system features. This paper shows that Uppaal SMC offers a robust framework for assessing platooning systems across various operational scenarios, combining statistical analysis and formal verification methodologies. The behaviour of the platoon is modelled stochastically to cover a wide range of driving scenarios and road surfaces. Using SMC, it has been possible to gauge the safety and functionality of the platoon by estimating the probability of several properties.
- 8 April 2026
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 28 (2) , 235-250
Open AccessStatistical model checking of a dynamic vehicle platoon
In automotive engineering, vehicle platooning is a proposed method for improving convoy movements by coordinating them to increase the safety and efficiency of transportation systems. The complexity and stochastic nature of platooning systems provide difficulties for traditional model-checking techniques. However, Statistical Model Checking (SMC) offers a solution by using statistical inference to probabilistically evaluate system features. This paper shows that Uppaal SMC offers a robust framework for assessing platooning systems across various operational scenarios, combining statistical analysis and formal verification methodologies. The behaviour of the platoon is modelled stochastically to cover a wide range of driving scenarios and road surfaces. Using SMC, it has been possible to gauge the safety and functionality of the platoon by estimating the probability of several properties.