Alternating-time temporal logic (Q3455546): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2048905609 / rank
 
Normal rank

Latest revision as of 22:01, 19 March 2024

scientific article
Language Label Description Also known as
English
Alternating-time temporal logic
scientific article

    Statements

    Alternating-time temporal logic (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2015
    0 references
    alternation
    0 references
    games
    0 references
    model checking
    0 references
    temporaxl logic
    0 references

    Identifiers