Jakub Nowak
Papers
1
Total Citations
29
H-Index
1
About
Jakub Nowak is a leading researcher in multi-robot coordination and formal methods, with a focus on enabling complex, temporally-aware behaviors in autonomous systems. His major contributions center on the integration of linear temporal logic (LTL) and signal temporal logic (STL) into multi-agent frameworks, allowing teams of robots to execute high-level, time-sensitive tasks with formal guarantees. His most-cited work, "Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks" (2019, 29 citations), provides experimental validation of these frameworks, demonstrating how individual agents can satisfy local LTL or STL specifications while operating in a coupled environment. This work bridges the gap between theoretical formal verification and practical robotic deployment, offering a scalable solution for missions ranging from surveillance to cooperative manipulation. Nowak’s research is highly influential in the robotics and control communities, with his papers serving as key references for engineers designing provably correct multi-robot systems. His achievements include advancing the state of the art in temporal logic-based task allocation, making him a pivotal figure in the field of autonomous multi-agent coordination.
Research Focus
Key Achievements
Top Papers
- 1