Efficient Model Verification at Runtime through Adaptive Dynamic Approximation.
Saved in:
| Title: | Efficient Model Verification at Runtime through Adaptive Dynamic Approximation. |
|---|---|
| Authors: | Alidoost Nia, Mehran1, alidoostnia@sbu.ac.ir, Calinescu, Radu2, radu.calinescu@york.ac.uk, Kargahi, Mehdi3, kargahi@ut.ac.ir, Abate, Alessandro4, alessandro.abate@cs.ox.ac.uk |
| Source: | ACM Transactions on Autonomous & Adaptive Systems; Mar2025, Vol. 20 Issue 1, p1-45, 45p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15564665 |
|---|---|
| DOI: | 10.1145/3708560 |
