Alipasha Montaseri
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
L. J. Brice, T. A. Henzinger, A. Montaseri, A. Shafiee, and K. S. Thejaswini, “Randomise alone, reach as a team,” in 38th International Conference on Computer Aided Verification, Lisbon, Portugal, 2026, vol. 16682, pp. 215–236.
[Published Version]
View
| Files available
| DOI
| arXiv
Grants
1 Publication
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
L. J. Brice, T. A. Henzinger, A. Montaseri, A. Shafiee, and K. S. Thejaswini, “Randomise alone, reach as a team,” in 38th International Conference on Computer Aided Verification, Lisbon, Portugal, 2026, vol. 16682, pp. 215–236.
[Published Version]
View
| Files available
| DOI
| arXiv