Follow
Melika Dastranj
Melika Dastranj
University of Tehran
Verified email at ut.ac.ir
Title
Cited by
Cited by
Year
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime
M Dastranj, MA Nia, M Kargahi
arXiv preprint arXiv:2110.14040, 2021
12021
Deploying Reinforcement Learning for Efficient Runtime Decision-Making in Autonomous Systems
M Dastranj, MA Nia, M Kargahi
2022 CPSSI 4th International Symposium on Real-Time and Embedded Systems and …, 2022
2022
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime (Extended Version)
M Dastranj, MA Nia, M Kargahi
The system can't perform the operation now. Try again later.
Articles 1–3