Marta Millet

Papers

Total Citations

H-Index

About

Marta Millet is a researcher at the forefront of intelligent robotics, with a primary focus on formal modeling and simulation of collaborative robotic systems. Her most-cited work, "Formal Modeling and Simulation of Collaborative Intelligent Robots" (2021), has garnered 4 citations, establishing a foundational framework for ensuring reliability and safety in human-robot interaction environments. Millet’s contributions center on developing rigorous mathematical models that enable robots to coordinate tasks seamlessly with human partners, addressing critical challenges in industrial automation and assistive technologies. Her research bridges the gap between theoretical computer science and practical robotics, offering verifiable methods to predict system behavior under complex, real-world conditions. Beyond this flagship paper, Millet has advanced the field by integrating formal verification techniques with simulation tools, enhancing the trustworthiness of autonomous systems. Her work is particularly notable for its emphasis on collaborative intelligence, where robots not only execute tasks but adaptively respond to human cues. With a growing citation impact, Millet is recognized as an emerging voice in robotics, inspiring future engineers to build safer, more intuitive machines. Her dedication to formal methods positions her as a key contributor to the next generation of intelligent, cooperative robots.