{"total":19,"rows":[{"id":"2405.04235","title":"LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning","created":"2024-05-07","cited_by_count":16,"area":null},{"id":"2209.02650","title":"Learning Interpretable Temporal Properties from Positive Examples Only","created":"2022-09-06","cited_by_count":12,"area":null},{"id":"2309.10171","title":"Specification-Driven Video Search via Foundation Models and Formal Verification","created":"2023-09-18","cited_by_count":10,"area":null},{"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":"2310.19137","title":"Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning","created":"2023-10-29","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":"2305.14736","title":"Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes","created":"2023-05-24","cited_by_count":2,"area":null},{"id":"2306.13732","title":"Reinforcement Learning with Temporal-Logic-Based Causal Diagrams","created":"2023-06-23","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":"2410.00726","title":"LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments","created":"2024-10-01","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":"2412.14728","title":"LTLf Synthesis Under Unreliable Input","created":"2024-12-19","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":"2601.10651","title":"Multi-Property Synthesis","created":"2026-01-15","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}],"next_cursor":null}