Cited By
View all- Luo WLiang PQiu JChen PWan HDu JFang WChristakis MPradel M(2024)Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace CheckingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3680337(996-1008)Online publication date: 11-Sep-2024
- Geatti LGigante NMontanari AVenturato G(2024)SAT Meets Tableaux for Linear Temporal Logic SatisfiabilityJournal of Automated Reasoning10.1007/s10817-023-09691-168:2Online publication date: 15-Mar-2024
- Wałęga PZawidzki MHaase CMarquis PSon TKern-Isberner G(2023)Computing all facts entailed by an LTL specificationProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning10.24963/kr.2023/66(679-689)Online publication date: 2-Sep-2023
- Show More Cited By