mforets opened this issue 5 years ago · 0 comments
cf. the bouncing ball model in ReachabilityBenchmarks.