Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. - Paul Blain Levy; Kidane Yemane Weldemariam (MFPS, 2009)