| Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017 | 161 | 2017 |
| Autonomous vehicle control systems—a review of decision making SM Veres, L Molnar, NK Lincoln, CP Morice Proceedings of the Institution of Mechanical Engineers, Part I: Journal of …, 2011 | 159 | 2011 |
| Active sound and vibration control: theory and applications MO Tokhi, S Veres, SM Veres Iet, 2002 | 125 | 2002 |
| Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23, 305-359, 2016 | 110 | 2016 |
| Predictive self-tuning control by parameter bounding and worst-case design SM Veres, JP Norton Automatica 29 (4), 911-928, 1993 | 88 | 1993 |
| Universal adaptive control of satellite formation flying R Pongvthithum, SM Veres, SB Gabriel, E Rogers* International Journal of Control 78 (1), 45-52, 2005 | 72 | 2005 |
| Frequency selective feedback for active noise control T Meurers, SM Veres, SJ Elliot IEEE control systems magazine 22 (4), 32-41, 2002 | 69 | 2002 |
| Structure selection for bounded-parameter models: Consistency conditions and selection criterion SM Veres, JP Norton IEEE Transactions on Automatic Control 36 (4), 474-481, 1991 | 61 | 1991 |
| Guaranteed computation of robot trajectories S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres Robotics and Autonomous Systems 93, 76-84, 2017 | 49 | 2017 |
| Aerodynamic parameter estimation of an unmanned aerial vehicle based on extended kalman filter and its higher order approach L Meng, L Li, SM Veres 2010 2nd International Conference on Advanced Computer Control 5, 526-531, 2010 | 47 | 2010 |
| Geometric bounding toolbox (gbt) for matlab SM Veres Official website: http://www. sysbrain. com 254 (9), 2003 | 43 | 2003 |
| Terrain referencing for autonomous navigation of underwater vehicles C Morice, S Veres, S McPhail Oceans 2009-Europe, 1-7, 2009 | 42 | 2009 |
| Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle J Ezekiel, A Lomuscio, L Molnar, SM Veres, M Peabody | 39 | 2011 |
| Natural language programming of agents and robotic devices SM Veres | 38 | 2008 |
| Autonomous nuclear waste management JM Aitken, SM Veres, A Shaukat, Y Gao, E Cucco, LA Dennis, M Fisher, ... IEEE Intelligent Systems 33 (6), 47-55, 2018 | 37 | 2018 |
| Tuning for robustness and performance using iterative feedback tuning S Veres, H Hjalmarsson Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 4 …, 2002 | 35 | 2002 |
| Parameter-bounding algorithms for linear errors in variables models SM Veres, JP Norton IFAC Proceedings Volumes 25 (15), 261-266, 1992 | 35 | 1992 |
| Structure selection of stochastic dynamic systems SM Veres CRC Press, 1991 | 34 | 1991 |
| Natural language programming of complex robotic BDI agents NK Lincoln, SM Veres Journal of Intelligent & Robotic Systems 71, 211-230, 2013 | 33 | 2013 |
| Satellite control using rational agent programming L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres IEEE Intelligent Systems 25 (3), 92-97, 2010 | 31 | 2010 |
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
