36 citations · 41 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 36 cited
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…