A Benchmark for Methods in Reverse Engineering and Model Discrimination: Problem Formulation and Solutions | Synapse