temporal logic

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances L4DC 2025 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024 Can't Make an Omelette Without Breaking Some Eggs: Plausible Action Anticipation Using Large Video-Language Models CVPR 2024 Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning NeurIPS 2024 Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024 Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning AAAI 2024 Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024 End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding AAAI 2024 Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment CLeaR 2024 Formal Logic Enabled Personalized Federated Learning through Property Inference AAAI 2024 Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 Neural Model Checking NeurIPS 2024 Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024 Pointwise-in-time diagnostics for reinforcement learning during training and runtime L4DC 2024 Pure-Past Action Masking AAAI 2024 Reward Machines for Deep RL in Noisy and Uncertain Environments NeurIPS 2024 Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning ICLR 2024 Temporal Logic Explanations for Dynamic Decision Systems Using Anchors and Monte Carlo Tree Search (Abstract Reprint) AAAI 2024 Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning ICML 2024 The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective NeurIPS 2024 The Transformation Logics IJCAI 2024 The Trembling-Hand Problem for LTLf Planning IJCAI 2024 Towards Neuro-Symbolic Video Understanding ECCV 2024