Control Barrier Certificates for Safe Swarm Behavior. - Urs Borrmann; Li Wang 050; Aaron D. Ames; Magnus Egerstedt (ADHS, 2015)

Safety barrier certificates for heterogeneous multi-robot systems. - Li Wang 050; Aaron D. Ames; Magnus Egerstedt (ACC, 2016)

Multi-objective compositions for collision-free connectivity maintenance in teams of mobile robots. - Li Wang 050; Aaron D. Ames; Magnus Egerstedt (CDC, 2016)

Safe, Remote-Access Swarm Robotics Research on the Robotarium. - Daniel Pickem; Li Wang 050; Paul Glotfelter; Yancy Diaz-Mercado; Mark Mote; Aaron D. Ames; Eric Feron; Magnus Egerstedt (CoRR, 2016)

The Robotarium: A remotely accessible swarm robotics research testbed. - Daniel Pickem; Paul Glotfelter; Li Wang 050; Mark Mote; Aaron D. Ames; Eric Feron; Magnus Egerstedt (ICRA, 2017)

Safe certificate-based maneuvers for teams of quadrotors using differential flatness. - Li Wang 050; Aaron D. Ames; Magnus Egerstedt (ICRA, 2017)

Safety Barrier Certificates for Collisions-Free Multirobot Systems. - Li Wang 050; Aaron D. Ames; Magnus Egerstedt (IEEE Trans. Robotics, 2017)

Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares. - Li Wang 050; Dongkun Han; Magnus Egerstedt (ACC, 2018)

Safe Learning of Quadrotor Dynamics Using Barrier Certificates. - Li Wang 050; Evangelos A. Theodorou; Magnus Egerstedt (ICRA, 2018)

Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates. - Anqi Li 001; Li Wang 050; Pietro Pierpaoli; Magnus Egerstedt (IROS, 2018)

Safety-aware Adaptive Reinforcement Learning with Applications to Brushbot Navigation. - Motoya Ohnishi; Li Wang 050; Gennaro Notomista; Magnus Egerstedt (CoRR, 2018)

Deconfliction of Motion Paths With Traffic Inspired Rules. - Federico Celi; Li Wang 050; Lucia Pallottino; Magnus Egerstedt (IEEE Robotics Autom. Lett., 2019)

Barrier-Certified Adaptive Reinforcement Learning With Applications to Brushbot Navigation. - Motoya Ohnishi; Li Wang 050; Gennaro Notomista; Magnus Egerstedt (IEEE Trans. Robotics, 2019)