{"total":15,"rows":[{"id":"2509.00834","title":"Neuro-Symbolic Predictive Process Monitoring","created":"2025-08-31","cited_by_count":7,"area":null},{"id":"2302.13825","title":"Forward LTLf Synthesis: DPLL At Work","created":"2023-02-27","cited_by_count":4,"area":null},{"id":"2411.09366","title":"LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces","created":"2024-11-14","cited_by_count":4,"area":null},{"id":"2305.08319","title":"Model Checking Strategies from Synthesis Over Finite Traces","created":"2023-05-15","cited_by_count":3,"area":null},{"id":"2302.03384","title":"Act for Your Duties but Maintain Your Rights","created":"2023-02-07","cited_by_count":2,"area":null},{"id":"2308.15188","title":"LTLf Best-Effort Synthesis in Nondeterministic Planning Domains","created":"2023-08-29","cited_by_count":2,"area":null},{"id":"2508.14725","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","created":"2025-08-20","cited_by_count":2,"area":null},{"id":"2101.02594","title":"On Satisficing in Quantitative Games","created":"2021-01-06","cited_by_count":1,"area":null},{"id":"2604.18532","title":"Symbolic Synthesis for LTLf+ Obligations","created":"2026-04-20","cited_by_count":1,"area":null},{"id":"2205.09201","title":"Mimicking Behaviors in Separated Domains","created":"2022-05-18","cited_by_count":0,"area":null},{"id":"2308.15178","title":"Symbolic LTLf Best-Effort Synthesis","created":"2023-08-29","cited_by_count":0,"area":null},{"id":"2408.07324","title":"On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts","created":"2024-08-14","cited_by_count":0,"area":null},{"id":"2508.04116","title":"A Compositional Framework for On-the-Fly LTLf Synthesis","created":"2025-08-06","cited_by_count":0,"area":null},{"id":"2602.03486","title":"DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2603.01201","title":"Incremental LTLf Synthesis","created":"2026-03-01","cited_by_count":0,"area":null}],"next_cursor":null}