IdMAT and LIndA enable learning any regular language consistent with an incomplete inductive teacher by reducing uncertainties to incremental SAT solving for tasks like language separation and invariant synthesis.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Introduces an L*-based active learning algorithm for deterministic MDPs that uses trace sampling to infer complete models including states and outperforms passive methods on accuracy with equal data.
Experimental K-shell x-ray and EUV spectra from charge exchange collisions of Ar18+ and O8+ ions with neutrals in an EBIT, compared to multichannel Landau-Zener models.
citing papers explorer
-
Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
IdMAT and LIndA enable learning any regular language consistent with an incomplete inductive teacher by reducing uncertainties to incremental SAT solving for tasks like language separation and invariant synthesis.
-
L*-Based Learning of Markov Decision Processes (Extended Version)
Introduces an L*-based active learning algorithm for deterministic MDPs that uses trace sampling to infer complete models including states and outperforms passive methods on accuracy with equal data.
-
X-ray and extreme-ultraviolet spectra from collisions of Ar$^{18+}$ and O$^{8+}$ ions with neutrals
Experimental K-shell x-ray and EUV spectra from charge exchange collisions of Ar18+ and O8+ ions with neutrals in an EBIT, compared to multichannel Landau-Zener models.