The following pages link to From Liveness to Promptness (Q5429333):
Displayed 6 items.
- Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- (Q5021004) (← links)