Farzaneh Moradkhani, Martin Fränzle. Functional verification of cyber-physical systems containing machine-learnt components. it - Information Technology, 63(5-6):277-287, 2021. [doi]
@article{MoradkhaniF21, title = {Functional verification of cyber-physical systems containing machine-learnt components}, author = {Farzaneh Moradkhani and Martin Fränzle}, year = {2021}, doi = {10.1515/itit-2021-0009}, url = {https://doi.org/10.1515/itit-2021-0009}, researchr = {https://researchr.org/publication/MoradkhaniF21}, cites = {0}, citedby = {0}, journal = {it - Information Technology}, volume = {63}, number = {5-6}, pages = {277-287}, }