temporal logic

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks AAAI 2021 A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020 Differentiable Logic Layer for Rule Guided Trajectory Prediction CoRL 2020 Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020 Learning Interpretable Models in the Property Specification Language IJCAI 2020 Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020 Parameterised Resource-Bounded ATL AAAI 2020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization IJCAI 2020 STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NeurIPS 2020 Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics ICML 2020 Temporal Logic Point Processes ICML 2020 Temporal Logics Over Finite Traces with Uncertainty AAAI 2020 Time-Bounded Mission Planning in Time-Varying Domains with Semi-MDPs and Gaussian Processes CoRL 2020 Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints IJCAI 2020 Do You Need Infinite Time? IJCAI 2019 On Computational Tractability for Rational Verification IJCAI 2019 Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains IJCAI 2019 Planning with State Abstractions for Non-Markovian Task Specifications RSS 2019 Probabilistic Alternating-Time µ-Calculus AAAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019 Regular Decision Processes: A Model for Non-Markovian Domains IJCAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019 The Complexity of Model Checking Knowledge and Time IJCAI 2019