Displaying similar documents to “Mechanized experiment planning in automaton-environment systems”