1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2020
An Approach to Evaluating Learning Algorithms for Decision Trees
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda +2
Learning algorithms produce software models for realising critical classification tasks. Decision trees models are simpler than other models such as neural network and they are use…
cs.LO2019★ 1 cited
A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing
Stefan D. Bruda, Sunita Singh, A. F. M. Nokib Uddin +2
The two major systems of formal verification are model checking and algebraic model-based testing. Model checking is based on some form of temporal logic such as linear temporal lo…