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 |
|---|---|---|---|
| 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
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
0 references
