Segui
Ali Asadi
Ali Asadi
Ph.D. Student, IST Austria
Email verificata su ist.ac.at - Home page
Titolo
Citata da
Citata da
Anno
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
272021
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
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms
A Asadi, K Chatterjee, R Saona, J Svoboda
arXiv preprint arXiv:2405.02486, 2024
2024
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
A Asadi, K Chatterjee, R Saona, J Svoboda
arXiv preprint arXiv:2405.02479, 2024
2024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4