Learning the Language of Error
From MaRDI portal
Publication:3460551
DOI10.1007/978-3-319-24953-7_9zbMath1471.68101OpenAlexW2296684448MaRDI QIDQ3460551
Daniel Kroening, Ofer Strichman, Hana Chockler, Martin Chapman, Michael Tautschnig, Pascal Kesseli
Publication date: 8 January 2016
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_9
Computational learning theory (68Q32) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Inferring regular languages and \(\omega\)-languages, Concurrent Kleene algebra with observations: from hypotheses to completeness, Learning pomset automata, A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees, Polynomial Identification of $$\omega $$-Automata, Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys, A novel learning algorithm for Büchi automata based on family of DFAs and classification trees, Unnamed Item
Uses Software