conftrace_

temporal logic

105 papers

Explore in graph

Also known as

TL

Co-occurring keywords

formal verification (284) model checking (105) linear temporal logic (82) markov decision process (790) multi-agent system (1819) reinforcement learning (4352) formal methods (79) finite trace (13) automated planning (152) automata theory (22)

Papers

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks AAAI 2026
Incremental Data-Driven Policy Synthesis via Game Abstractions AAAI 2026
Automata-less Monitoring via Trace-Checking AAAI 2026
Universal Safety Controllers with Learned Prophecies AAAI 2026
T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition AAAI 2026
Shield Synthesis for LTL Modulo Theories AAAI 2025
Inconsistency Handling in DatalogMTL IJCAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives IJCAI 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025
Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions IJCAI 2025
First-Order Automata AAAI 2025
Synthesising Minimum Cost Dynamic Norms IJCAI 2025
Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025
Temporal Conjunctive Query Answering via Rewriting AAAI 2025
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025
Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives AAAI 2025
On Temporal Verification of Stateful P4 Programs NSDI 2025
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements AAAI 2025
Pointwise-in-time diagnostics for reinforcement learning during training and runtime L4DC 2024
The Trembling-Hand Problem for LTLf Planning IJCAI 2024
Temporal Logic Explanations for Dynamic Decision Systems Using Anchors and Monte Carlo Tree Search (Abstract Reprint) AAAI 2024
Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024