Skip to content
conftrace_

temporal logic specification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

counterexample-guided training (1) buchi automaton (1) multi-task reinforcement learning (1) linear temporal logic (1) strategy synthesis (1) zero-shot generalization (1) recurrent neural network (1) partially observable markov decision process (1) formal verification (1)

Papers

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL ICLR 2025 Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks IJCAI 2019