Active and sparse methods in smoothed model checking

Re-assign community