No. |
Title |
Author |
Year |
---|
1 |
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa |
Artale, Alessandro et al. |
2023 |
2 |
Qualitative past Timeline-Based Games (Extended Abstract) |
Acampora, Renato et al. |
2023 |
3 |
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract) |
Geatti, Luca et al. |
2023 |
4 |
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker |
Geatti, Luca et al. |
2021 |
5 |
Complexity of Qualitative Timeline-Based Planning |
Della Monica, Dario et al. |
2020 |
6 |
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty |
Gigante, Nicola et al. |
2018 |