temporal logic

Eventual Discounting Temporal Logic Counterfactual Experience Replay ICML 2023 Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments CoRL 2023 LOGO: A Long-Form Video Dataset for Group Action Quality Assessment CVPR 2023 Monitoring Arithmetic Temporal Properties on Finite Traces AAAI 2023 NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models EMNLP 2023 Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives IJCAI 2023 Reactive Synthesis of Dominant Strategies AAAI 2023 Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023 ASP-Based Declarative Process Mining AAAI 2022 Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments IJCAI 2022 Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022 Compositional Semantics and Inference System for Temporal Order based on Japanese CCG ACL 2022 Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping L4DC 2022 Explaining Point Processes by Learning Interpretable Temporal Logic Rules ICLR 2022 Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022 In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications ICLR 2022 MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022 Real-Time Heuristic Search with LTLf Goals IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners AAAI 2021 Budget-Constrained Coalition Strategies with Discounting IJCAI 2021 HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor CoRL 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments RSS 2021