Valkov, I., Donaldson, A. and Miller, A. (2024) Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking. In: 30th International SPIN symposium on Model Checking of Software (SPIN 2024), Luxembourg, 10-11 Apr 2024, (Accepted for Publication)
![[img]](https://eprints.gla.ac.uk/style/images/fileicons/text.png) |
Text
321708.pdf - Accepted Version Restricted to Repository staff only 617kB |
| Item Type: | Conference Proceedings |
|---|---|
| Additional Information: | Ivaylo Valkov was supported by the EPSRC Doctoral Training Partnership award EP/N007565/1 and by a grant from the UKRI Strategic Priorities Fund to the UKRI Research Node on Trustworthy Autonomous Systems Governance and Regulation [EP/V026607/1, 2020-2024]. Alastair Donaldson was supported by the EPSRC IRIS project (grant EP/R006865/1). |
| Keywords: | Probabilistic model checking, symmetry reduction, generic representatives, counter abstraction, synchronisation, PRISM. |
| Status: | Accepted for Publication |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Valkov, Ivaylo and Miller, Professor Alice |
| Authors: | Valkov, I., Donaldson, A., and Miller, A. |
| College/School: | College of Science and Engineering College of Science and Engineering > School of Computing Science |
| ISSN: | 0302-9743 |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Funder and Project Information
Funder and Project Information