1. Graph controllability classes for the Laplacian leader-follower dynamics;Aguilar;IEEE Transactions on Automatic Control,2014
2. Q-learning for robust satisfaction of signal temporal logic specifications;Aksaray,2016
3. Principles of model checking;Baier,2008
4. Behavior-based formation control for multirobot teams;Balch;IEEE Transactions on Robotics and Automation,1998
5. Robust model-free formation control with prescribed performance and connectivity maintenance for nonlinear multi-agent systems;Bechlioulis,2014