Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Article

Rohou, S., Jaulin, L., Mihaylova, L.S. orcid.org/0000-0001-5856-2223 et al. (2 more authors) (2018) Reliable Non-Linear State Estimation Involving Time Uncertainties. Automatica, 93. pp. 379-388.

McAree, O., Aitken, J. orcid.org/0000-0003-4204-4020 and Veres, S. (2018) Quantifying situation awareness for small unmanned aircraft Towards routine Beyond Visual Line Of Sight operations. Aeronautical Journal. ISSN 0001-9240

Aitken, J. orcid.org/0000-0003-4204-4020, Shaukat, A., Cucco, E. et al. (7 more authors) (2018) Autonomous nuclear waste management. IEEE Intelligent Systems. ISSN 1541-1672

Proceedings Paper

Zhang, H., Veres, S. and Kolling, A. (2018) Simultaneous Search and Monitoring by Unmanned Aerial Vehicles. In: Decision and Control (CDC), 2017 IEEE 56th Annual Conference on. 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 12-15 Dec 2017, Melbourne, Australia. IEEE .

Aitken, J. orcid.org/0000-0003-4204-4020, McAree, O. and Veres, S. (2016) Symbiotic relationship between robots - a ROS ARDrone/YouBot library. In: Control (CONTROL), 2016 UKACC 11th International Conference on. 2016 UKACC 11th International Conference on Control, 31 Aug - 02 Sep 2016, Belfast, UK. IEEE . ISBN 978-1-4673-9891-6

Veres, S., McAree, O. and Aitken, J. (2016) On the complexity of formal verification of small and micro UAS. In: Proceedings of the European Control Conference 2016. European Control Conference, 29 June - 1 July 2016, Aalborg, Denmark. .

Smyrnakis, M., Qu, H. Y. and Veres, S. (2014) A Verification Framework for Fictitious Play Based Learning Algorithms. In: The University of Sheffield Engineering Symposium Conference Proceedings Vol. 1. USES 2014 - The University of Sheffield Engineering Symposium, 24 June 2014, The Octagon Centre, University of Sheffield. .

This list was generated on Sun Aug 18 15:49:08 2019 BST.