From Liveness to Promptness
From MaRDI portal
Publication:5429333
DOI10.1007/978-3-540-73368-3_44zbMath1135.03336OpenAlexW1874776692MaRDI QIDQ5429333
Orna Kupferman, Moshe Y. Vardi, Nir Piterman
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_44
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Optimal strategy synthesis for request-response games ⋮ Branching vs. Linear Time: Semantical Perspective ⋮ Unnamed Item ⋮ Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking ⋮ Alternating-time temporal logic ATL with finitely bounded semantics ⋮ Bounded game-theoretic semantics for modal mu-calculus