Ioana Hustiu

Gheorghe Asachi Technical University of Iași

Papers

Total Citations

H-Index

About

Ioana Hustiu is a robotics and formal methods researcher whose work centers on multi-robot systems, path planning, and formal specification languages. Her research addresses one of the core challenges in autonomous robotics: enabling teams of mobile robots to collectively satisfy complex, high-level mission objectives without requiring constant inter-agent communication. Hustiu's most significant contributions lie in the distributed application of co-safe Linear Temporal Logic (LTL) to multi-robot coordination. Her 2020 paper on distributed path planning with LTL specifications, her most cited work with 10 citations, introduced algorithms that decompose global mission specifications across individual robots, allowing independent yet collectively compliant trajectories. Building on this, her subsequent work explored optimal task allocation strategies and formal decomposition methods for distributing LTL formulas among robot teams. A particularly practical contribution came in 2023 with the development of a dedicated software tool that implements these theoretical formalisms, bridging the gap between abstract specification and real-world deployment. With a growing body of work accumulating nearly 20 citations across just four papers, Hustiu is establishing herself as a promising voice in the formal methods and multi-robot systems community, contributing rigorous, mathematically grounded solutions to scalable autonomous coordination problems.