Folgen
Melika Dastranj
Melika Dastranj
Bestätigte E-Mail-Adresse bei ut.ac.ir
Titel
Zitiert von
Zitiert von
Jahr
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
2021
Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime (Extended Version)
M Dastranj, MA Nia, M Kargahi
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2