Succinctness issues for LTLf and safety and cosafety fragments of LTL
| Autor: | Artale, Alessandro a, Geatti, Luca b, ⁎, Gigante, Nicola a, Mazzullo, Andrea c, Montanari, Angelo b |
|---|---|
| Zdroj: | In Information and Computation January 2025 302 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect