Path planning for robotic teams based on LTL specifications and Petri net models

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Finding the <i>K</i> Shortest Loopless Paths in a Network

Jin Y. Yen · Management Science · 1971 · 2.6K citations

Computing, Computer Engineering, Computer Science +14

Conflict-based search for optimal multi-agent pathfinding

Guni Sharon, Roni Stern, Ariel Felner et al. · Artificial Intelligence · 2014 · 1.2K citations

Computing, Autonomous Systems, Computer Science +14

Temporal logic motion planning for dynamic robots

Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit et al. · Automatica · 2008 · 461 citations

Computing, Computer Science, Robotics Engineering +14