Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications

Författare
Lars Lindemann
(Lars Lindemann.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
KTH Royal Institute of Technology 2020 Sverige, Stockholm xxv, 327 sidor illustrationer 978-91-7873-643-0
KTH Royal Institute of Technology 2020 Sverige, Stockholm 357