Theoretical Computer Science

DOI10.1007/11560586zbMath1136.68425OpenAlexW2603408665MaRDI QIDQ5395080

Jürgen Dix, Wojciech Jamroga

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11560586

zbMATH Keywords

computational complexitytemporal logicmulti-agent systemsgames with incomplete informationstrategic ability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Unnamed Item ⋮ Model checking abilities of agents: a closer look

Uses Software

• MOCHA

This page was built for publication: Theoretical Computer Science