Items where authors include "Veres, S."
Up a levelArticle
Al-Nuaimi, M., Wibowo, S., Qu, H. et al. (2 more authors) (2021) Hybrid verification technique for decision-making of self-driving vehicles. Journal of Sensor and Actuator Networks, 10 (3). 42.
Aitken, J. orcid.org/0000-0003-4204-4020, Veres, S., Shaukat, A. et al. (7 more authors) (2018) Autonomous nuclear waste management. IEEE Intelligent Systems, 33 (6). pp. 47-55. ISSN 1541-1672
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, 122 (1251). pp. 733-746. ISSN 0001-9240
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 Jun - 01 Jul 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. .