Automated strategic reasoning

Status	Finished
Effective start/end date	1/01/14 → 31/12/17

Access Project

Sublogics of a branching time logic of robustness
McCabe-Dansted, J., Dixon, C., French, T. & Reynolds, M., 1 Jun 2019, In: Information and Computation. 266, p. 126-160 35 p.
Research output: Contribution to journal › Article › peer-review

Open Access
2 Link opens in a new tab Citations (Scopus)
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Geatti, L., Gigante, N., Montanari, A. & Reynolds, M., 7 Sept 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrucken, Germany, 26-28th September 2018.. Orlandini, A. & Zimmermann, M. (eds.). Open Publishing Association, Vol. 277. p. 176-190 15 p.
Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Open Access
File
2 Link opens in a new tab Citations (Scopus)

198 Downloads (Pure)
To be fair, use bundles
McCabe-Dansted, J. & Reynolds, M., 1 Aug 2017, In: Annals of Mathematics and Artificial Intelligence. 80, 3-4, p. 317-364 48 p.
Research output: Contribution to journal › Article › peer-review
1 Link opens in a new tab Citation (Scopus)