Alipasha Montaseri
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J, Thomas A Henzinger, Alipasha Montaseri, Ali Shafiee, and K. S. Thejaswini. “Randomise Alone, Reach as a Team.” In 38th International Conference on Computer Aided Verification, 16682:215–36. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv
Search
Filter Publications
Display / Sort
Export / Embed
Grants
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, Leonard J, Thomas A Henzinger, Alipasha Montaseri, Ali Shafiee, and K. S. Thejaswini. “Randomise Alone, Reach as a Team.” In 38th International Conference on Computer Aided Verification, 16682:215–36. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32519-8_12.
[Published Version]
View
| Files available
| DOI
| arXiv