Specification-Based Maneuvering of Quadcopters Through Hoops. - Christopher Banks; Kyle Slovak; Samuel Coogan 001; Magnus Egerstedt (IROS, 2019)

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. - Christopher Banks; Sean Wilson; Samuel Coogan 001; Magnus Egerstedt (ICRA, 2020)