_id,doi,title
12530,10.1145/3501710.3519535,BOCoSy: Small but powerful symbolic output-feedback control