[mvh]

Google “ACAS X” if you’re interested in what these algorithms are like. There are some good papers available online.