linear temporal logic

Synthesis from Satisficing and Temporal Goals AAAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022 Teaching LTLf Satisfiability Checking to Neural Networks IJCAI 2022 Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations CoRL 2022 Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners AAAI 2021 Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021 LTL2Action: Generalizing LTL Instructions for Multi-Task RL ICML 2021 LTL-Constrained Steady-State Policy Synthesis IJCAI 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020 Elaborating on Learned Demonstrations with Temporal Logic Specifications RSS 2020 Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations RSS 2020 Grounding Language to Non-Markovian Tasks with No Supervision of Task Specifications RSS 2020 Learning a natural-language to LTL executable semantic parser for grounded robotics CoRL 2020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020 Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes AAAI 2020 Steady-State Policy Synthesis in Multichain Markov Decision Processes IJCAI 2020 Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020 Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations IJCAI 2019 LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning IJCAI 2019 Planning with State Abstractions for Non-Markovian Task Specifications RSS 2019 Preference Elicitation and Explanation in Iterative Planning IJCAI 2019