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

Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024
The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective NIPS 2024
Can't Make an Omelette Without Breaking Some Eggs: Plausible Action Anticipation Using Large Video-Language Models CVPR 2024
The Transformation Logics IJCAI 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024
Neural Model Checking NIPS 2024
Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024
Formal Logic Enabled Personalized Federated Learning through Property Inference AAAI 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning NIPS 2024
Pointwise-in-time diagnostics for reinforcement learning during training and runtime L4DC 2024
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding AAAI 2024
Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024
The Trembling-Hand Problem for LTLf Planning IJCAI 2024
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024
Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning AAAI 2024
Pure-Past Action Masking AAAI 2024
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
Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay ICML 2023
Reactive Synthesis of Dominant Strategies AAAI 2023
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments CORL 2023