Synthesis of indoor maps in presence of uncertainty