2 research outputs found

    Mechanized experiment planning in automaton-environment systems

    Get PDF

    A selection-based formal description of an environment

    Get PDF
    corecore