Formally Verified Algorithms for Upper-Bounding State Space Diameters
- Mohammad Abdulaziz*
- , Michael Norrish
- , Charles Gretton
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
8
Citations
(Scopus)