conftrace_

controllers

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

finite-state mdps (1) linear temporal logic (ltl) (1) regret-free (1) recursive (1) koopman (1) model (1) updates (1) sample-efficient (1) reach-avoid problem (1) online algorithm (1)

Papers

Regret-Free Reinforcement Learning for Temporal Logic Specifications ICML 2025 Sample-Efficient Online Control Policy Learning with Real-Time Recursive Model Updates CoRL 2025