Alipasha Montaseri
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, L. J., Henzinger, T. A., Montaseri, A., Shafiee, A., & Thejaswini, K. S. (2026). Randomise alone, reach as a team. In 38th International Conference on Computer Aided Verification (Vol. 16682, pp. 215–236). Lisbon, Portugal: Springer Nature. https://doi.org/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, L. J., Henzinger, T. A., Montaseri, A., Shafiee, A., & Thejaswini, K. S. (2026). Randomise alone, reach as a team. In 38th International Conference on Computer Aided Verification (Vol. 16682, pp. 215–236). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-032-32519-8_12
[Published Version]
View
| Files available
| DOI
| arXiv