# Model Checking Techniques Applied to Satellite Operational Mode Management

> Research article (IEEE Systems Journal, 2018) · cited 18× · AI/ML

**Wikidata**: [openalex:W2790560747](https://www.wikidata.org/wiki/openalex:W2790560747)  
**Source**: https://4ort.xyz/entity/model-checking-techniques-applied-to-satellite-operational-mode-management