Alipasha Montaseri
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. Randomise alone, reach as a team. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:215-236. 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 LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. Randomise alone, reach as a team. In: 38th International Conference on Computer Aided Verification. Vol 16682. Springer Nature; 2026:215-236. doi:10.1007/978-3-032-32519-8_12
[Published Version]
View
| Files available
| DOI
| arXiv