Automata Learning and Galois Connections (Invited Talk) (Q5091152)

From MaRDI portal
Revision as of 15:53, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7561497
Language Label Description Also known as
English
Automata Learning and Galois Connections (Invited Talk)
scientific article; zbMATH DE number 7561497

    Statements

    21 July 2022
    0 references
    automaton learning
    0 references
    model learning
    0 references
    protocol verification
    0 references
    applications of automata learning
    0 references
    Galois connections
    0 references
    Automata Learning and Galois Connections (Invited Talk) (English)
    0 references

    Identifiers