Search for persons
X
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
3
LFPS: Learned Formal Proof Strengthening for Efficient Hard..:
, In:
?
Artificial Intelligence and Data Driven Optimization of Internal Combustion Engines ,
8
Using deep learning to diagnose preignition in turbocharged..:
, In:
?
Artificial Intelligence and Data Driven Optimization of Internal Combustion Engines ,
10
Contributors:
, In:
?
Proceedings of the 23rd Conference on Design, Automation and Test in Europe ,
15