# Optimal policy generation for partially satisfiable co-safe LTL specifications

> Research article (http://www.cs.bham.ac.uk/%7Elacerdab/papers/ijcai15.pdf, 2015) · cited 35× · AI/ML

**Wikidata**: [openalex:W2293858641](https://www.wikidata.org/wiki/openalex:W2293858641)  
**Source**: https://4ort.xyz/entity/optimal-policy-generation-for-partially-satisfiable-co-safe-ltl-specifications