Sequential control barrier functions for mobile robots with dynamic temporal logic specifications

CasADi: a software framework for nonlinear optimization and optimal control

Joel A.E. Andersson, Joris Gillis, Greg Horn et al. · Mathematical Programming Computation · 2018 · 3.7K citations · Full text

Natural Sciences, Systems Engineering, Optimization +14

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

IEEE Transactions on Automatic Control · 2016 · 2.1K citations · Full text

Engineering, Automotive Engineering, Systems Engineering +17

IEEE International Conference On Robotics And Automation

2001 · 759 citations

Engineering, Autonomous Systems, Robotics Engineering +12

Temporal-Logic-Based Reactive Mission and Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas · IEEE Transactions on Robotics · 2009 · 756 citations

Engineering, Computer Science, Robotics Engineering +14

The European Control Conference

2013 · 554 citations · Full text

Social Sciences, Administrative Law, Conflict Analysis +1