Author:
van den Bos Petra,Stoelinga Marielle
Publisher
Springer Nature Switzerland
Reference26 articles.
1. The artefact of this paper for reproducing the experimental results of Section 7. https://doi.org/10.5281/zenodo.7712109
2. Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N., Ničković, D.: Adaptive testing for specification coverage in CPS models. IFAC-PapersOnLine 54(5), 229–234 (2021). 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021
3. Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific (1998)
4. Lecture Notes in Computer Science;D Berwanger,2007
5. Lecture Notes in Computer Science;R Bloem,2015