Alipasha Montaseri
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J., et al. “Randomise Alone, Reach as a Team.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 215–36, doi:10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv
Grants
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J., et al. “Randomise Alone, Reach as a Team.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 215–36, doi:10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv