A logic for reasoning about game strategies
- Dongmo Zhang
- , Michael Thielscher
Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review
21
Citations
(Scopus)