Ioana Hustiu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Specification Language

Top Venues

Publications

Ioana Hustiu, Marius Kloetzer, Cristian Mahulea
Extension of a decomposition method for a global LTL specification. ETFA (2023)
Ioana Hustiu, Cristian Mahulea, Marius Kloetzer
Distributing Co-safe LTL Specifications to Mobile Robots. ICSTCC (2022)
Ioana Hustiu, Cristian Mahulea, Marius Kloetzer
Optimal task allocation for distributed co-safe LTL specifications. ETFA (2021)
Ioana Hustiu, Marius Kloetzer, Cristian Mahulea
Distributed Path Planning of Mobile Robots with LTL Specifications. ICSTCC (2020)