Sandor M. Veres

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 47

Top Topics

Autonomous Control

Formal Verification

Unmanned Aerial Vehicles

Waste Management

Top Venues

Robotics Auton. Syst.

Publications

Haoyu Zhang, Sandor M. Veres, Andreas Kolling
Simultaneous search and monitoring by multiple aerial robots. Robotics Auton. Syst. 170 (2023)
Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks 10 (3) (2021)
Chenjie Shi, Sandor M. Veres
Concepts of Self-maintaining Robots and Their Design. CoRR (2021)
Yixiang Jin, Daniel Alonso Paredes Soto, John Anthony Rossiter, Sandor M. Veres
Advanced Environment Modelling for Remote Teleoperation to Improve Operator Experience. icARTi (2021)
Yixiang Jin, John Anthony Rossiter, Sandor M. Veres
Accurate 6D Object Pose Estimation and Refinement in Cluttered Scenes. ROBOVIS (2021)
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)
Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres
Multi-model Adaptive Learning for Robots Under Uncertainty. ICAART (1) (2020)
Omar A. Jasim, Sandor M. Veres
Verification Framework for Control System Functionality of Unmanned Aerial Vehicles. CoRR (2020)
Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres
On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. ICAART (Revised Selected Papers) (2020)
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)
Omar A. Jasim, Sandor M. Veres
Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter. CoDIT (2019)
Omar A. Jasim, Sandor M. Veres
Formal Verification of Quadcopter Flight Envelop Using Theorem Prover. CCTA (2018)
Jonathan M. Aitken, Sandor M. Veres, Affan Shaukat, Yang Gao, Elisa Cucco, Louise A. Dennis, Michael Fisher, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort
Autonomous Nuclear Waste Management. IEEE Intell. Syst. 33 (6) (2018)
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. Int. J. Artif. Intell. Tools 27 (7) (2018)
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
A stochastically verifiable decision making framework for autonomous ground vehicles. ISR (2018)
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres
Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA (2018)
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres
Reliable non-linear state estimation involving time uncertainties. Autom. 93 (2018)
Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres
Guaranteed computation of robot trajectories. Robotics Auton. Syst. 93 (2017)
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. ICTAI (2017)
Haoyu Zhang, Sandor M. Veres, Andreas Kolling
Simultaneous search and monitoring by unmanned aerial vehicles. CDC (2017)
Alicia Costalago Meruelo, David M. Simpson, Sandor M. Veres, Philip L. Newland
Predictive control of intersegmental tarsal movements in an insect. J. Comput. Neurosci. 43 (1) (2017)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148 (2017)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
Reducing complexity of autonomous control agents for verifiability. CoRR (2016)
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS (2016)
Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor M. Veres, Michael Fisher
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS (2016)
Michalis Smyrnakis, Sandor M. Veres
Fictitious play for cooperative action selection in robot teams. CoRR (2016)
Michalis Smyrnakis, Dario Bauso, Paul A. Trodden, Sandor M. Veres
Learning of cooperative behaviour in robot populations. ECC (2016)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A stochastically verifiable autonomous control architecture with reasoning. CDC (2016)
Owen McAree, Sandor M. Veres
Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication. ECC (2016)
Seyed Amir Tafrishi, Sandor M. Veres, Esmaeil Esmaeilzadeh, Mikhail M. Svinin
Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller". CoRR (2016)
Michalis Smyrnakis, Jonathan M. Aitken, Sandor M. Veres
Collision Avoidance of Two Autonomous Quadcopters. CoRR (2016)
Michalis Smyrnakis, Sandor M. Veres
Fictitious play for cooperative action selection in robot teams. Eng. Appl. Artif. Intell. 56 (2016)
Hongyang Qu, Sandor M. Veres
Verification of Logical Consistency in Robotic Reasoning. CoRR (2016)
Alicia Costalago Meruelo, David M. Simpson, Sandor M. Veres, Philip L. Newland
Improved system identification using artificial neural networks and analysis of individual differences in responses of an identified neuron. Neural Networks 75 (2016)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR (2016)
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
Testing, Verification and Improvements of Timeliness in ROS processes. CoRR (2016)
Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres
SMCL - Stochastic Model Checker for Learning in Games. CoRR (2016)
Hongyang Qu, Sandor M. Veres
Verification of logical consistency in robotic reasoning. Robotics Auton. Syst. 83 (2016)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23 (3) (2016)
Sandor M. Veres, Owen McAree, Jonathan M. Aitken
Towards formal verification of small and micro UAS. ECC (2016)
James A. Douthwaite, Lyudmila S. Mihaylova, Sandor M. Veres
Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. TAROS (2016)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal Verification of Autonomous Vehicle Platooning. CoRR (2016)
Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR (2016)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN (2016)
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A stochastically verifiable autonomous control architecture with reasoning. CoRR (2016)
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres
Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. AAMAS (2015)
Hongyang Qu, Andreas Kolling, Sandor M. Veres
Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. TAROS (2015)
Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes
Reconfigurable Autonomy. Künstliche Intell. 28 (3) (2014)
Hongyang Qu, Sandor M. Veres
On efficient consistency checks by robots. ECC (2014)
Alicia Costalago Meruelo, David M. Simpson, Sandor M. Veres, Philip L. Newland
Artificial Neural Network Models of Intersegmental Reflexes. IJCCI (NCTA) (2014)
Nicholas Lincoln, Sandor M. Veres
Natural Language Programming of Complex Robotic BDI Agents. J. Intell. Robotic Syst. 71 (2) (2013)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR (2013)
Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. 8 (4) (2013)
Sandor M. Veres
Knowledge of machines: review and forward look. J. Syst. Control. Eng. 226 (1) (2012)
Sandor M. Veres, J. Patrik Adolfsson
A natural language programming solution for executable papers. ICCS (2011)
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI (2011)
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) (2010)
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)
Badril Abu Bakar, Sandor M. Veres
Direct policy search method in fault tolerant autonomous systems. ALCOSP (2010)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Declarative Abstractions for Agent Based Hybrid Control Systems. DALT (2010)
Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres
Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. 25 (3) (2010)
Jian Luo, Sandor M. Veres
Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. Autom. 46 (4) (2010)
Nick K. Lincoln, Sandor M. Veres
Discrete time sliding mode control for satellite clusters at Lagrange points. ECC (2009)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Agent Based Approaches to Engineering Autonomous Space Software FMA (2009)
Levente Molnar, Sandor M. Veres
Verification of autonomous underwater vehicles using formal logic. ECC (2009)
Jian Luo, Sandor M. Veres
Frequency domain iterative tuning for the control of nonlinear vibrations. CDC (2008)
Nick K. Lincoln, Sandor M. Veres
Six degree of freedom variable hierarchy sliding mode control in halo orbits with potential function guidance. CDC (2008)
Sandor M. Veres, Aron G. Veres
Adaptation and learning in an autonomous physical agent architecture. ALCOSP (2007)
Anas Al-Korj, Sandor M. Veres
Model-based predictive adaptive delta modulation. ALCOSP (2007)
Jian Luo, Sandor M. Veres
Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. ALCOSP (2007)
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) (2006)
Sandor M. Veres, Nick K. Lincoln
Vision Assisted Satellite Formation Control. CDC (2006)
K. K. T. Thanapalan, Sandor M. Veres, E. Rogers, S. B. Gabriel
Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying. CDC (2006)
Sandor M. Veres
Application of exploratory modelling to active headrest control. CDC (2003)
Sandor M. Veres, Håkan Hjalmarsson
Tuning for robustness and performance using iterative feedback tuning. CDC (2002)
Anas Al-Korj, Sandor M. Veres
Microwave super conductivity filter tuning by multi-stage-unfalsification-based robust adaptive scheme. ICARCV (2002)
Håkan Hjalmarsson, Sandor M. Veres
Robust loopshaping using iterative feedback tuning. ECC (2001)
Sandor M. Veres, Lubomír Baramov, Owen R. Tutty, Eric Rogers
Iterative design for active control of fluid flow. ECC (2001)
Sandor M. Veres, Stephen B. Gabriel, Eric Rogers, David Q. Mayne
Analysis of formation flying control of a pair of nano-satellites. CDC (2001)
Hao Xia, Sandor M. Veres
Improved efficiency of adaptive robust control by model unfalsification. Autom. 35 (5) (1999)
Hao Xia, Sandor M. Veres
A new iterative control design scheme by active model falsification. ECC (1999)
Sandor M. Veres, Victor F. Sokolov
Adaptive Robust Control under Unknown Plant Orders. Autom. 34 (6) (1998)
J. P. Norton, Sandor M. Veres
Outliers in bound-based state estimation and identification. ISCAS (1993)
Sandor M. Veres, J. P. Norton
Predictive self-tuning control by parameter bounding and worst-case design. Autom. 29 (4) (1993)