Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre: Probabilistic Property Estimation of Timed Probabilistic DES using Artificial Neural Networks. WODES 2026: 325-330