docs: public RandomVariable[] getValues(double[] times) {
  		RandomVariable[] values = new RandomVariable[times.length];
  
  		for(int i=0; i<times.length; i++) {
  			values[i] = getValue(null, times[i]);
  		}
  
  		return values;
  	}