1 citations · 1 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Stochastic Decision Petri Nets
Florian Wittbold, Rebecca Bernemann, Reiko Heckel +2
We introduce stochastic decision Petri nets (SDPNs), which are a form of stochastic Petri nets equipped with rewards and a control mechanism via the deactivation of controllable tr…
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…