DOI,IST REx ID,Title of publication
10.1145/3501710.3519535,12530,BOCoSy: Small but powerful symbolic output-feedback control