temporal logic

Automata-less Monitoring via Trace-Checking AAAI 2026 Incremental Data-Driven Policy Synthesis via Game Abstractions AAAI 2026 T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition AAAI 2026 Temporal Properties of Conditional Independence in Dynamic Bayesian Networks AAAI 2026 Universal Safety Controllers with Learned Prophecies AAAI 2026 Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards L4DC 2025 Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions IJCAI 2025 Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements AAAI 2025 First-Order Automata AAAI 2025 Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025 Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs ICML 2025 Inconsistency Handling in DatalogMTL IJCAI 2025 Learning Temporal Logic Predicates from Data with Statistical Guarantees L4DC 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025 On Temporal Verification of Stateful P4 Programs NSDI 2025 Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives AAAI 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives IJCAI 2025 Synthesising Minimum Cost Dynamic Norms IJCAI 2025 TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching ICML 2025 Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025 Temporal Conjunctive Query Answering via Rewriting AAAI 2025