linear temporal logic

Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction AAAI 2024 Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages NeurIPS 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024 On the Expressivity of Objective-Specification Formalisms in Reinforcement Learning ICLR 2024 On the uniqueness of solution for the Bellman equation of LTL objectives L4DC 2024 Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards NeurIPS 2024 Complexity of Safety and coSafety Fragments of Linear Temporal Logic AAAI 2023 Eventual Discounting Temporal Logic Counterfactual Experience Replay ICML 2023 Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop RSS 2023 Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives NeurIPS 2023 Iterative Circuit Repair Against Formal Specifications ICLR 2023 Learning Interpretable Temporal Properties from Positive Examples Only AAAI 2023 Moral Planning Agents with LTL Values IJCAI 2023 NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas AAAI 2023 Reverse Engineering of Temporal Queries Mediated by LTL Ontologies IJCAI 2023 Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees IJCAI 2023 Learning to Follow Instructions in Text-Based Games NeurIPS 2022 Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022 LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) IJCAI 2022 On the (In)Tractability of Reinforcement Learning for LTL Objectives IJCAI 2022 Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints UAI 2022 Policy Optimization with Linear Temporal Logic Constraints NeurIPS 2022