TY - RPRT TI - Matching models across abstraction levels with Gaussian Processes AU - Giulio Caravagna AU - Luca Bortolussi AU - Guido Sanguinetti PY - 2016 DO - 10.1101/052100 UR - https://www.biorxiv.org/content/10.1101/052100v1 ID - 10.1101/052100 ER -