Alipasha Montaseri
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. 2026. Randomise alone, reach as a team. 38th International Conference on Computer Aided Verification. CAV: Computer Aided Verification vol. 16682, 215–236.
[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 LJ, Henzinger TA, Montaseri A, Shafiee A, Thejaswini KS. 2026. Randomise alone, reach as a team. 38th International Conference on Computer Aided Verification. CAV: Computer Aided Verification vol. 16682, 215–236.
[Published Version]
View
| Files available
| DOI
| arXiv