Personensuche
X
?
Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems ,
10
CEG4N: Counter-Example Guided Neural Network Quantization R..:
, In:
?
Intelligent and Safe Computer Systems in Control and Diagnostics; Lecture Notes in Networks and Systems ,
12
A Set-Based Uncertainty Quantification of Evolving Fuzzy Mo..:
, In:
?
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) ,
13