Login / Signup
Thomas Brocken
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Temporal Logic
Website
Top Venues
CoRR
FUN
</>
Publications
</>
Thomas Brocken
,
G. Wessel van der Heijden
,
Irina Kostitsyna
,
Lloyd E. Lo-Wong
,
Remco J. A. Surtel
Multi-Robot Motion Planning of k-Colored Discs Is PSPACE-Hard.
FUN
(2021)
Thomas Brocken
,
G. Wessel van der Heijden
,
Irina Kostitsyna
,
Lloyd E. Lo-Wong
,
Remco J. A. Surtel
Multi-robot motion planning of k-colored discs is PSPACE-hard.
CoRR
(2020)