Muscettola

Remote Agent Experiment Validation

Pandu, Doug, Bob, .

Space-BaSed Observatory Scheduling :

Nicola, Muscettola, 2022 .

Moclel Checking the Remote Agent Planner ( extended abstract )

Havel, Muscettola, Lina, 2022 .