Author of the publication

Multi-robot LTL Planning Under Uncertainty.

, , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 399-417. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Textured splat-based point clouds for rendering in handheld devices., , , and . Web3D, page 227-230. ACM, (2015)Mixed integer linear programming and heuristic methods for feature selection in clustering., , and . J. Oper. Res. Soc., 69 (9): 1379-1395 (2018)Indicating WebSocket Protocol as a Transport in the Session Initiation Protocol (SIP) Common Log Format (CLF)., , , and . RFC, (September 2014)Using automated in-paddock weighing to evaluate the impact of intervals between liveweight measures on growth rate calculations in grazing beef cattle., , and . Comput. Electron. Agric., (2020)Adaptive heterogeneous multi-robot collaboration from formal task specifications., , , , , , , , , and 2 other author(s). Robotics Auton. Syst., (2021)Optimising portfolio diversification and dimensionality., , , , , , and . J. Glob. Optim., 85 (1): 185-234 (2023)Variability Modeling of Service Robots: Experiences and Challenges., , , , , , and . VaMoS, page 8:1-8:6. ACM, (2019)Effective engineering of multi-robot software applications.. ICSE (Companion Volume), page 454-455. ACM, (2018)SPLASH: a hybrid 3D modeling/rendering approach mixing splats and meshes., , , and . Web3D, page 231-234. ACM, (2015)Workflows and Cooperative Processes., and . SPW/ProSim, volume 3966 of Lecture Notes in Computer Science, page 159-166. Springer, (2006)