# Statistical model checking of an energy-saving cyber-physical system in the railway domain

> Research article (Proceedings of the Symposium on Applied Computing, 2017) · cited 29× · AI/ML

**Wikidata**: [openalex:W2620444793](https://www.wikidata.org/wiki/openalex:W2620444793)  
**Source**: https://4ort.xyz/entity/statistical-model-checking-of-an-energy-saving-cyber-physical-system-in-the-railway-domain