Követés
Ali Asadi
Ali Asadi
Ph.D. Student, IST Austria
E-mail megerősítve itt: ist.ac.at - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Polynomial reachability witnesses via Stellensätze
A Asadi, K Chatterjee, H Fu, AK Goharshady, M Mahdavi
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
262021
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A Asadi, K Chatterjee, AK Goharshady, K Mohammadi, A Pavlogiannis
International Symposium on Automated Technology for Verification and …, 2020
122020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–2