DKL: an efficient algorithm for learning deterministic Kripke structures (Q824283)

From MaRDI portal





scientific article
Language Label Description Also known as
English
DKL: an efficient algorithm for learning deterministic Kripke structures
scientific article

    Statements

    DKL: an efficient algorithm for learning deterministic Kripke structures (English)
    0 references
    0 references
    0 references
    15 December 2021
    0 references
    grammatical inference
    0 references
    DKL
    0 references
    incremental learning
    0 references
    IKL
    0 references
    Kripke structure
    0 references
    state-space explosion
    0 references

    Identifiers