Kwiatkowska, M., Norman, G. , Parker, D. and Santos, G. (2022) Symbolic verification and strategy synthesis for turn-based stochastic games. In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Series: Lecture Notes In Computer 13660. Springer. (Accepted for Publication)
![[img]](https://eprints.gla.ac.uk/style/images/fileicons/text.png) |
Text
278305.pdf - Accepted Version Restricted to Repository staff only 424kB |
Abstract
No abstract available.
| Item Type: | Book Sections |
|---|---|
| Status: | Accepted for Publication |
| Glasgow Author(s) Enlighten ID: | Norman, Dr Gethin |
| Authors: | Kwiatkowska, M., Norman, G., Parker, D., and Santos, G. |
| College/School: | College of Science and Engineering > School of Computing Science |
| Publisher: | Springer |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details