4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.LG2021
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
John Törnblom, Simin Nadjm-Tehrani
To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learni…
cs.LG2019
Formal Verification of Input-Output Mappings of Tree Ensembles
John Törnblom, Simin Nadjm-Tehrani
Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to human…
cs.CR2019★ 4 cited
On generating network traffic datasets with synthetic attacks for intrusion detection
Carlos Garcia Cordero, Emmanouil Vasilomanolakis, Aidmar Wainakh +2
Most research in the area of intrusion detection requires datasets to develop, evaluate or compare systems in one way or another. In this field, however, finding suitable datasets…