The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (Q5874216)

From MaRDI portal
scientific article; zbMATH DE number 7650842
Language Label Description Also known as
English
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
scientific article; zbMATH DE number 7650842

    Statements

    0 references
    7 February 2023
    0 references
    0 references
    hyperproperties
    0 references
    linear temporal logic
    0 references
    satisfiability
    0 references
    0 references
    The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (English)
    0 references