5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.FL2025
Deconstructing Subset Construction -- Reducing While Determinizing
John Nicol, Markus Frohme
We present a novel perspective on the NFA canonization problem, which introduces intermediate minimization steps to reduce the exploration space on-the-fly. Central to our approach…
cs.SE2024
Language-Driven Engineering An Interdisciplinary Software Development Paradigm
Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk +22
We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex application…
cs.LG2019★ 5 cited
Active Automata Learning with Adaptive Distinguishing Sequences
Markus Theo Frohme
This document investigates the integration of adaptive distinguishing sequences into the process of active automata learning (AAL). A novel AAL algorithm "ADT" (adaptive discrimina…