Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (Q1706164)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm
    scientific article

      Statements

      Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm (English)
      0 references
      0 references
      0 references
      21 March 2018
      0 references
      conditional temporal networks
      0 references
      dynamic consistency
      0 references
      mean payoff games
      0 references
      simple temporal networks
      0 references
      hyper-temporal networks
      0 references
      singly-exponential time
      0 references
      reaction time
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references