Planer za homogeni višerobotski sustav zasnovan na linearnoj temporalnoj logici : diplomski rad - Pleslić, Leon (L. Pleslić, 2019)