Swarm-by-logic: Swarm autonomy with receding horizon based temporal logic framework

Project: Research project

Description

Swarm-by-logic: Swarm autonomy with receding horizon based temporal logic framework
StatusFinished
Effective start/end date9/26/184/1/19

Funding

  • SIEMENS AG

Fingerprint

Temporal logic