1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LG2026
Temporal-Causal Inference for Reinforcement Learning via Automata Learning
Jan Corazza, Daniil Kaminskyi, Simon Lutz +4
We consider reinforcement learning in environments with dynamics that undergo an irreversible phase transition governed by a hidden temporal pattern. The agent observes the base st…
cs.LG2023★ 1 cited
Unsupervised Automata Learning via Discrete Optimization
Simon Lutz, Daniil Kaminskyi, Florian Wittbold +5
Automata learning is a successful tool for many application domains such as robotics and automatic verification. Typically, automata learning techniques operate in a supervised lea…
cs.FL2022
Specification sketching for Linear Temporal Logic
Simon Lutz, Daniel Neider, Rajarshi Roy
Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding…