3 citations · 4 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.FL2025★ 1 cited
Automata Learning -- Expect Delays!
Gabriel Dengler, Sven Apel, Holger Hermanns
This paper studies active automata learning (AAL) in the presence of stochastic delays. We consider Mealy machines that have stochastic delays associated with each transition and e…
cs.LO2025
Time-Sensitive Importance Splitting
Gabriel Dengler, Carlos E. Budde, Laura Carnevali +1
State-of-the-art methods for rare event simulation of non-Markovian models face practical or theoretical limits if observing the event of interest requires prior knowledge or infor…