linear temporal logic

Characterizing the Expressivity of Local Attention in Transformers ACL 2026 Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas AAAI 2026 Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning AAAI 2026 Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026 Expressive Temporal Specifications for Reward Monitoring AAAI 2026 Good-for-MDP State Reduction for Stochastic LTL Planning AAAI 2026 NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework AAAI 2026 Adaptive Reward Design for Reinforcement Learning UAI 2025 DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL ICLR 2025 Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025 Learning Probabilistic Temporal Logic Specifications for Stochastic Systems IJCAI 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications L4DC 2025 On Temporal ASP with Eager Unfoldable Operators IJCAI 2025 Responsibility Anticipation and Attribution in LTLf IJCAI 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Unique Hard Attention: A Tale of Two Sides ACL 2025 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024 End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding AAAI 2024 Extremal Separation Problems for Temporal Instance Queries IJCAI 2024