default search action
Sandor M. Veres
Person information
- affiliation: University of Sheffield, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j23]Haoyu Zhang
, Sandor M. Veres, Andreas Kolling:
Simultaneous search and monitoring by multiple aerial robots. Robotics Auton. Syst. 170: 104544 (2023) - 2021
- [j22]Mohammed Al-Nuaimi
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks 10(3): 42 (2021) - [c47]Yixiang Jin, Daniel Alonso Paredes Soto, John Anthony Rossiter, Sandor M. Veres:
Advanced Environment Modelling for Remote Teleoperation to Improve Operator Experience. icARTi 2021: 16:1-16:8 - [c46]Yixiang Jin, John Anthony Rossiter, Sandor M. Veres:
Accurate 6D Object Pose Estimation and Refinement in Cluttered Scenes. ROBOVIS 2021: 31-39 - [i14]Chenjie Shi, Sandor M. Veres:
Concepts of Self-maintaining Robots and Their Design. CoRR abs/2110.05882 (2021) - 2020
- [c45]Ayan Ghosh, Sandor M. Veres, Daniel A. Paredes Soto, James E. Clarke, John Anthony Rossiter:
Intuitive Programming with Remotely Instructed Robots inside Future Gloveboxes. HRI (Companion) 2020: 209-211 - [c44]Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres:
Multi-model Adaptive Learning for Robots Under Uncertainty. ICAART (1) 2020: 50-61 - [c43]Michalis Smyrnakis
On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. ICAART (Revised Selected Papers) 2020: 73-105 - [c42]Lalis Millán-Blanquel, Sandor M. Veres, Robin C. Purshouse
Ethical Considerations for a Decision Making System for Autonomous Vehicles During an Inevitable Collision. MED 2020: 514-519 - [i13]Omar A. Jasim, Sandor M. Veres:
Verification Framework for Control System Functionality of Unmanned Aerial Vehicles. CoRR abs/2006.10860 (2020)
2010 – 2019
- 2019
- [c41]Omar A. Jasim
Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter. CoDIT 2019: 1652-1657 - 2018
- [j21]Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars
Reliable non-linear state estimation involving time uncertainties. Autom. 93: 379-388 (2018) - [j20]Jonathan M. Aitken
Autonomous Nuclear Waste Management. IEEE Intell. Syst. 33(6): 47-55 (2018) - [j19]Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. Int. J. Artif. Intell. Tools 27(7): 1860015:1-1860015:24 (2018) - [c40]Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres:
Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA 2018: 638-645 - [c39]Omar A. Jasim, Sandor M. Veres:
Formal Verification of Quadcopter Flight Envelop Using Theorem Prover. CCTA 2018: 1502-1507 - [c38]Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable decision making framework for autonomous ground vehicles. ISR 2018: 26-33 - 2017
- [j18]Alicia Costalago Meruelo
Predictive control of intersegmental tarsal movements in an insect. J. Comput. Neurosci. 43(1): 5-15 (2017) - [j17]Simon Rohou
Guaranteed computation of robot trajectories. Robotics Auton. Syst. 93: 76-84 (2017) - [j16]Maryam Kamali
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148: 88-106 (2017) - [c37]Haoyu Zhang, Sandor M. Veres, Andreas Kolling:
Simultaneous search and monitoring by unmanned aerial vehicles. CDC 2017: 903-910 - [c36]Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. ICTAI 2017: 417-424 - 2016
- [j15]Louise A. Dennis
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23(3): 305-359 (2016) - [j14]Michalis Smyrnakis, Sandor M. Veres:
Fictitious play for cooperative action selection in robot teams. Eng. Appl. Artif. Intell. 56: 14-29 (2016) - [j13]Alicia Costalago Meruelo
Improved system identification using artificial neural networks and analysis of individual differences in responses of an identified neuron. Neural Networks 75: 56-65 (2016) - [j12]Hongyang Qu
Verification of logical consistency in robotic reasoning. Robotics Auton. Syst. 83: 44-56 (2016) - [c35]Paolo Izzo, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable autonomous control architecture with reasoning. CDC 2016: 4985-4991 - [c34]Michalis Smyrnakis, Dario Bauso, Paul A. Trodden, Sandor M. Veres:
Learning of cooperative behaviour in robot populations. ECC 2016: 184-189 - [c33]Sandor M. Veres, Owen McAree, Jonathan M. Aitken
Towards formal verification of small and micro UAS. ECC 2016: 433-440 - [c32]Owen McAree, Sandor M. Veres:
Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication. ECC 2016: 2465-2470 - [c31]Ruth Hoffmann
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN 2016: 104-110 - [c30]Louise A. Dennis
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS 2016: 75-86 - [c29]James A. Douthwaite, Lyudmila S. Mihaylova
Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. TAROS 2016: 99-110 - [c28]Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres:
Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS 2016: 146-157 - [i12]Ruth Hoffmann
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR abs/1602.00646 (2016) - [i11]Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal Verification of Autonomous Vehicle Platooning. CoRR abs/1602.01718 (2016) - [i10]Paolo Izzo, Hongyang Qu, Sandor M. Veres:
Reducing complexity of autonomous control agents for verifiability. CoRR abs/1603.01202 (2016) - [i9]Michalis Smyrnakis, Jonathan M. Aitken, Sandor M. Veres:
Collision Avoidance of Two Autonomous Quadcopters. CoRR abs/1603.05490 (2016) - [i8]Murray L. Ireland, Ruth Hoffmann
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR abs/1609.00177 (2016) - [i7]Seyed Amir Tafrishi
Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller". CoRR abs/1610.06218 (2016) - [i6]Hongyang Qu, Sandor M. Veres:
Verification of Logical Consistency in Robotic Reasoning. CoRR abs/1611.03322 (2016) - [i5]Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres:
Testing, Verification and Improvements of Timeliness in ROS processes. CoRR abs/1611.03355 (2016) - [i4]Paolo Izzo, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable autonomous control architecture with reasoning. CoRR abs/1611.03372 (2016) - [i3]Michalis Smyrnakis, Sandor M. Veres:
Fictitious play for cooperative action selection in robot teams. CoRR abs/1611.05638 (2016) - [i2]Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres:
SMCL - Stochastic Model Checker for Learning in Games. CoRR abs/1611.07420 (2016) - 2015
- [c27]Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. AAMAS 2015: 1889-1890 - [c26]Hongyang Qu, Andreas Kolling, Sandor M. Veres:
Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. TAROS 2015: 216-228 - 2014
- [j11]Louise A. Dennis
Reconfigurable Autonomy. Künstliche Intell. 28(3): 199-207 (2014) - [c25]Hongyang Qu, Sandor M. Veres:
On efficient consistency checks by robots. ECC 2014: 336-343 - [c24]Alicia Costalago Meruelo
Artificial Neural Network Models of Intersegmental Reflexes. IJCCI (NCTA) 2014: 24-31 - 2013
- [j10]Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher
Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. 8(4): 25-38 (2013) - [j9]Nicholas Lincoln, Sandor M. Veres:
Natural Language Programming of Complex Robotic BDI Agents. J. Intell. Robotic Syst. 71(2): 211-230 (2013) - [i1]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR abs/1310.2431 (2013) - 2012
- [j8]Sandor M. Veres:
Knowledge of machines: review and forward look. J. Syst. Control. Eng. 226(1): 3-10 (2012) - 2011
- [c23]Jonathan Ezekiel, Alessio Lomuscio
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI 2011: 1659-1664 - [c22]Sandor M. Veres, J. Patrik Adolfsson:
A natural language programming solution for executable papers. ICCS 2011: 678-687 - 2010
- [j7]Jian Luo, Sandor M. Veres:
Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. Autom. 46(4): 735-742 (2010) - [j6]Louise A. Dennis
Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. 25(3): 92-97 (2010) - [j5]Nick K. Lincoln, Sandor M. Veres:
Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification. Int. J. Control 83(11): 2217-2231 (2010) - [c21]Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa:
An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP 2010: 310-317 - [c20]Badril Abu Bakar, Sandor M. Veres:
Direct policy search method in fault tolerant autonomous systems. ALCOSP 2010: 336-341 - [c19]Louise A. Dennis
Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111 - [p1]Sandor M. Veres:
Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space. Brain-Inspired Information Technology 2010: 1-10
2000 – 2009
- 2009
- [c18]Levente Molnar, Sandor M. Veres:
Verification of autonomous underwater vehicles using formal logic. ECC 2009: 1263-1268 - [c17]Nick K. Lincoln, Sandor M. Veres:
Discrete time sliding mode control for satellite clusters at Lagrange points. ECC 2009: 1395-1401 - [c16]Louise A. Dennis
Agent Based Approaches to Engineering Autonomous Space Software. FMA 2009: 63-67 - 2008
- [c15]Nick K. Lincoln, Sandor M. Veres:
Six degree of freedom variable hierarchy sliding mode control in halo orbits with potential function guidance. CDC 2008: 1943-1949 - [c14]Jian Luo, Sandor M. Veres:
Frequency domain iterative tuning for the control of nonlinear vibrations. CDC 2008: 3014-3019 - 2007
- [c13]Jian Luo, Sandor M. Veres:
Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. ALCOSP 2007: 179-184 - [c12]Sandor M. Veres, Aron G. Veres:
Adaptation and learning in an autonomous physical agent architecture. ALCOSP 2007: 256-262 - [c11]Anas Al-Korj, Sandor M. Veres:
Model-based predictive adaptive delta modulation. ALCOSP 2007: 435-440 - 2006
- [j4]Sandor M. Veres:
Discussion on "A Robust Approximation Scheme for the LQG Control of an Undamped Flexible Beam with a Tip Mass". Eur. J. Control 12(6): 652-653 (2006) - [c10]K. K. T. Thanapalan, Sandor M. Veres, Eric Rogers, Stephen B. Gabriel:
Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying. CDC 2006: 1562-1567 - [c9]Sandor M. Veres, Nick K. Lincoln:
Vision Assisted Satellite Formation Control. CDC 2006: 5712-5717 - 2003
- [c8]Sandor M. Veres:
Application of exploratory modelling to active headrest control. CDC 2003: 3936-3941 - 2002
- [c7]Sandor M. Veres, Håkan Hjalmarsson:
Tuning for robustness and performance using iterative feedback tuning. CDC 2002: 4682-4687 - [c6]Anas Al-Korj, Sandor M. Veres:
Microwave super conductivity filter tuning by multi-stage-unfalsification-based robust adaptive scheme. ICARCV 2002: 681-686 - 2001
- [c5]Sandor M. Veres, Stephen B. Gabriel, Eric Rogers, David Q. Mayne:
Analysis of formation flying control of a pair of nano-satellites. CDC 2001: 1095-1100 - [c4]Sandor M. Veres, Lubomír Baramov, Owen R. Tutty, Eric Rogers:
Iterative design for active control of fluid flow. ECC 2001: 1434-1439 - [c3]Håkan Hjalmarsson
Robust loopshaping using iterative feedback tuning. ECC 2001: 2046-2051
1990 – 1999
- 1999
- [j3]Hao Xia, Sandor M. Veres:
Improved efficiency of adaptive robust control by model unfalsification. Autom. 35(5): 981-986 (1999) - [c2]Hao Xia, Sandor M. Veres:
A new iterative control design scheme by active model falsification. ECC 1999: 2396-2401 - 1998
- [j2]Sandor M. Veres, Victor F. Sokolov:
Adaptive Robust Control under Unknown Plant Orders. Autom. 34(6): 723-730 (1998) - 1993
- [j1]Sandor M. Veres, J. P. Norton:
Predictive self-tuning control by parameter bounding and worst-case design. Autom. 29(4): 911-928 (1993) - [c1]J. P. Norton, Sandor M. Veres:
Outliers in bound-based state estimation and identification. ISCAS 1993: 790-793
Coauthor Index
Nicholas Lincoln
aka: Nick K. Lincoln
aka: Nick K. Lincoln
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: