Ali Asadi

2020202120222023202420252 4 12 10 24 4

عدد المنشورات المتاحة للجميع

3 مقالات

0 مقالة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

Krishnendu ChatterjeeProfessor, IST Austriaبريد إلكتروني تم التحقق منه على ist.ac.at
Amir GoharshadyUniversity of Oxfordبريد إلكتروني تم التحقق منه على cs.ox.ac.uk
Raimundo Julián Saona UrmenetaPhD student, IST Austriaبريد إلكتروني تم التحقق منه على ug.uchile.cl
Jakub SvobodaIST Austriaبريد إلكتروني تم التحقق منه على ist.ac.at

Ali Asadi

Ph.D. Student, IST Austria

بريد إلكتروني تم التحقق منه على ist.ac.at - الصفحة الرئيسية


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
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‏	37	2021
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‏	19	2020
Limit-sure reachability for small memory policies in POMDPs is NP-complete‏ A Asadi, K Chatterjee, R Saona, A Shafiee‏ arXiv preprint arXiv:2412.00941, 2024‏		2024
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‏ Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024‏		2024

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–5

عدد الاقتباسات في العام