Skip to content
conftrace_

timed automaton

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

extended q-function (1) automaton learning (1) timed automata (1) model learning (1) temporal logic (1) sampling efficiency (1) passive learning (1) formal methods (1) transfer learning (1) reinforcement learning (1)

Papers

Passive learning of Timed Automata from logs (Student Abstract) AAAI 2021 Transfer of Temporal Logic Formulas in Reinforcement Learning IJCAI 2019