Login / Signup
León Bohn
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Training Instances
Negative Examples
Matching Algorithm
Version Space
Top Venues
CoRR
ICALP
MFCS
</>
Publications
</>
León Bohn
,
Christof Löding
Constructing Deterministic Parity Automata from Positive and Negative Examples.
CoRR
(2023)
León Bohn
,
Christof Löding
Passive Learning of Deterministic Büchi Automata by Combinations of DFAs.
ICALP
(2022)
León Bohn
,
Christof Löding
Constructing deterministic ω-automata from examples by an extension of the RPNI algorithm.
CoRR
(2021)
León Bohn
,
Christof Löding
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm.
MFCS
(2021)