Tool support for learning Büchi automata and linear temporal logic (Q1019031)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tool support for learning Büchi automata and linear temporal logic
scientific article

    Statements

    Tool support for learning Büchi automata and linear temporal logic (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    27 May 2009
    0 references
    Büchi automata
    0 references
    GOAL
    0 references
    linear temporal logic
    0 references
    model checking
    0 references
    QPTL
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers