Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Safety Certification is Classification
Oliver Schön, Licio Romao, Sadegh Soudjani
The goal of this paper is certifying safety of dynamical systems subject to uncertainty. Existing approaches use trajectory data to estimate transition probabilities, and compute s…
cs.AI2025
Regret-Free Reinforcement Learning for LTL Specifications
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Learning to control an unknown dynamical system with respect to high-level temporal specifications is an important problem in control theory. We present the first regret-free onlin…