مقالات علمی چاپ شده در مجلات

1. "Efficient Model Verification at Runtime through Adaptive Dynamic Approximation"
   Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, Alessandro Abate
   ACM Transactions on Autonomous and Adaptive Systems, Vol. 20, pp.1-43, 2024