Distributed Path Planning of Mobile Robots with LTL Specifications. - Ioana Hustiu; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2020)

Optimal task allocation for distributed co-safe LTL specifications. - Ioana Hustiu; Cristian Mahulea; Marius Kloetzer (ETFA, 2021)

Distributing Co-safe LTL Specifications to Mobile Robots. - Ioana Hustiu; Cristian Mahulea; Marius Kloetzer (ICSTCC, 2022)

Extension of a decomposition method for a global LTL specification. - Ioana Hustiu; Marius Kloetzer; Cristian Mahulea (ETFA, 2023)

Efficient Path Planning and Task Allocation Algorithm for Boolean Specifications. - Ioana Hustiu; Roozbeh Abolpour; Cristian Mahulea; Marius Kloetzer (CoRR, 2025)