temporal logic

Transfer of Temporal Logic Formulas in Reinforcement Learning IJCAI 2019 Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals IJCAI 2018 Bayesian Inference of Temporal Task Specifications from Demonstrations NeurIPS 2018 Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications RSS 2018 Synthesis of Controllable Nash Equilibria in Quantitative Objective Game IJCAI 2018 Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams RSS 2018 Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017 Learning from Demonstrations with High-Level Side Information IJCAI 2017 Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017 Temporalising Separation Logic for Planning with Search Control Knowledge IJCAI 2017 An Automata-Theoretic Approach to the Vehicle Routing Problem RSS 2014 Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints RSS 2014 Concurrent Action Detection with Structural Prediction ICCV 2013 Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications RSS 2013 Optimal Control with Weighted Average Costs and Temporal Logic Specifications RSS 2012 Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011