Automatic Methods for Continuous State Space Abstraction.

Steven LoscalzoRobert William Wright
Published in: Abstraction, Reformulation, and Approximation (2010)
Keyphrases