Author:
Tumova Jana,Dimarogonas Dimos V.
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference21 articles.
1. Principles of model checking;Baier,2008
2. Control of a class of nonlinear systems on rectangles;Belta;IEEE Transactions on Automatic Control,2006
3. Motion planning with complex goals;Bhatia;IEEE Robotics & Automation Magazine,2011
4. Formal approach to the deployment of distributed robotic teams;Chen;IEEE Transactions on Robotics,2012
5. Introduction to algorithms;Cormen,2001
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献