# Formal Verification of Stochastic Max-Plus-Linear Systems

> Research article (IEEE Transactions on Automatic Control, 2015) · cited 14× · AI/ML

**Wikidata**: [openalex:W2343349698](https://www.wikidata.org/wiki/openalex:W2343349698)  
**Source**: https://4ort.xyz/entity/formal-verification-of-stochastic-max-plus-linear-systems