2 papers
cs.AI2026
On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
Ana María Gómez Ruiz, Thao Dang, Alexandre Donzé
We propose a Reinforcement Learning (RL) based control design framework for handling complex tasks. The approach extends the concept of Reward Machines (RM) with Signal Temporal Lo…
cs.FL2022
Towards Efficient Active Learning of PDFA
Franz Mayr, Sergio Yovine, Federico Pan +2
We propose a new active learning algorithm for PDFA based on three main aspects: a congruence over states which takes into account next-symbol probability distributions, a quantiza…