TY - GEN AU - Gori,Marco AU - Melacci,Stefano TI - Constraint verification with kernel machines SN - 2162-2388 PY - 2015///0330 N1 - Publication Type: Journal Article; Research Support, Non-U.S. Gov't UR - https://doi.org/10.1109/TNNLS.2013.2241787 ER -