Schumacher, MichaelChantemargue, FabriceKrone, OliverHirsbrunner, Beat2006-12-132006-12-132006-12-131998https://infoscience.epfl.ch/handle/20.500.14299/238210STL++: A Coordination Language for Autonomy-based Multi-Agent Systemstext::report