75 citations · 218 across the 23 of their papers we have counts for
1 paper · 1 filter
Jan Leike, Ashish Tiwari
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebr…