Sandor M. Veres

According to our database, Sandor M. Veres authored at least 76 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Simultaneous search and monitoring by multiple aerial robots.

Haoyu Zhang, Sandor M. Veres, Andreas Kolling

Robotics Auton. Syst., December, 2023

2021

Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles.

Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres

J. Sens. Actuator Networks, 2021

Concepts of Self-maintaining Robots and Their Design.

Chenjie Shi, Sandor M. Veres

CoRR, 2021

Accurate 6D Object Pose Estimation and Refinement in Cluttered Scenes.

Yixiang Jin, John Anthony Rossiter, Sandor M. Veres

Proceedings of the 2nd International Conference on Robotics, 2021

Advanced Environment Modelling for Remote Teleoperation to Improve Operator Experience.

Yixiang Jin, Daniel Alonso Paredes Soto, John Anthony Rossiter, Sandor M. Veres

Proceedings of the icARTi '21: International Conference on Artificial Intelligence and its Applications, Virtual Event, Mauritius, December 9, 2021

2020

Verification Framework for Control System Functionality of Unmanned Aerial Vehicles.

Omar A. Jasim, Sandor M. Veres

CoRR, 2020

Ethical Considerations for a Decision Making System for Autonomous Vehicles During an Inevitable Collision.

Lalis Millán-Blanquel, Sandor M. Veres, Robin C. Purshouse

Proceedings of the 28th Mediterranean Conference on Control and Automation, 2020

On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters.

Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres

Proceedings of the Agents and Artificial Intelligence, 12th International Conference, 2020

Multi-model Adaptive Learning for Robots Under Uncertainty.

Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Intuitive Programming with Remotely Instructed Robots inside Future Gloveboxes.

Ayan Ghosh, Sandor M. Veres, Daniel A. Paredes Soto, James E. Clarke, John Anthony Rossiter

Proceedings of the Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, 2020

2019

Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter.

Omar A. Jasim, Sandor M. Veres

Proceedings of the 6th International Conference on Control, 2019

2018

Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms.

Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres

Int. J. Artif. Intell. Tools, 2018

Autonomous Nuclear Waste Management.

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

IEEE Intell. Syst., 2018

Reliable non-linear state estimation involving time uncertainties.

Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres

Autom., 2018

A stochastically verifiable decision making framework for autonomous ground vehicles.

Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres

Proceedings of the IEEE International Conference on Intelligence and Safety for Robotics, 2018

Formal Verification of Quadcopter Flight Envelop Using Theorem Prover.

Omar A. Jasim, Sandor M. Veres

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Computational Framework for Verifiable Decisions of Self-Driving Vehicles.

Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017

Formal verification of autonomous vehicle platooning.

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres

Sci. Comput. Program., 2017

Guaranteed computation of robot trajectories.

Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor M. Veres

Robotics Auton. Syst., 2017

Predictive control of intersegmental tarsal movements in an insect.

Alicia Costalago Meruelo, David M. Simpson, Sandor M. Veres, Philip L. Newland

J. Comput. Neurosci., 2017

Simultaneous search and monitoring by unmanned aerial vehicles.

Haoyu Zhang, Sandor M. Veres, Andreas Kolling

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Verification of logical consistency in robotic reasoning.

Hongyang Qu, Sandor M. Veres

Robotics Auton. Syst., 2016

Improved system identification using artificial neural networks and analysis of individual differences in responses of an identified neuron.

Alicia Costalago Meruelo, David M. Simpson, Sandor M. Veres, Philip L. Newland

Neural Networks, 2016

Fictitious play for cooperative action selection in robot teams.

Michalis Smyrnakis, Sandor M. Veres

Eng. Appl. Artif. Intell., 2016

Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller".

Seyed Amir Tafrishi, Sandor M. Veres, Esmaeil Esmaeilzadeh, Mikhail M. Svinin

CoRR, 2016

Collision Avoidance of Two Autonomous Quadcopters.

Michalis Smyrnakis, Jonathan M. Aitken, Sandor M. Veres

CoRR, 2016

SMCL - Stochastic Model Checker for Learning in Games.

Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres

CoRR, 2016

Reducing complexity of autonomous control agents for verifiability.

Paolo Izzo, Hongyang Qu, Sandor M. Veres

CoRR, 2016

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.

Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres

CoRR, 2016

Practical verification of decision-making in agent-based autonomous systems.

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Autom. Softw. Eng., 2016

Testing, Verification and Improvements of Timeliness in ROS Processes.

Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms.

James A. Douthwaite, Lyudmila S. Mihaylova, Sandor M. Veres

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.

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

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.

Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Towards formal verification of small and micro UAS.

Sandor M. Veres, Owen McAree, Jonathan M. Aitken

Proceedings of the 15th European Control Conference, 2016

Learning of cooperative behaviour in robot populations.

Michalis Smyrnakis, Dario Bauso, Paul A. Trodden, Sandor M. Veres

Proceedings of the 15th European Control Conference, 2016

Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication.

Owen McAree, Sandor M. Veres

Proceedings of the 15th European Control Conference, 2016

A stochastically verifiable autonomous control architecture with reasoning.

Paolo Izzo, Hongyang Qu, Sandor M. Veres

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming.

Hongyang Qu, Andreas Kolling, Sandor M. Veres

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms.

Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Reconfigurable Autonomy.

Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes

Künstliche Intell., 2014

Artificial Neural Network Models of Intersegmental Reflexes.

Alicia Costalago Meruelo, David M. Simpson, Sandor M. Veres, Philip L. Newland

Proceedings of the NCTA 2014 - Proceedings of the International Conference on Neural Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22, 2014

On efficient consistency checks by robots.

Hongyang Qu, Sandor M. Veres

Proceedings of the 13th European Control Conference, 2014

2013

Natural Language Programming of Complex Robotic BDI Agents.

Nicholas Lincoln, Sandor M. Veres

J. Intell. Robotic Syst., 2013

Autonomous Asteroid Exploration by Rational Agents.

Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa

IEEE Comput. Intell. Mag., 2013

2012

Knowledge of machines: review and forward look.

Sandor M. Veres

J. Syst. Control. Eng., 2012

2011

A natural language programming solution for executable papers.

Sandor M. Veres, J. Patrik Adolfsson

Proceedings of the International Conference on Computational Science, 2011

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.

Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres

Proceedings of the IJCAI 2011, 2011

2010

Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space.

Sandor M. Veres

Proceedings of the Brain-Inspired Information Technology, 2010

Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification.

Nick K. Lincoln, Sandor M. Veres

Int. J. Control, 2010

Satellite Control Using Rational Agent Programming.

Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres

IEEE Intell. Syst., 2010

Frequency domain iterative feedforward/feedback tuning for MIMO ANVC.

Jian Luo, Sandor M. Veres

Autom., 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.

Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa

Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

Direct policy search method in fault tolerant autonomous systems.

Badril Abu Bakar, Sandor M. Veres

Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

2009

Agent Based Approaches to Engineering Autonomous Space Software

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Verification of autonomous underwater vehicles using formal logic.

Levente Molnar, Sandor M. Veres

Proceedings of the 10th European Control Conference, 2009

Discrete time sliding mode control for satellite clusters at Lagrange points.

Nick K. Lincoln, Sandor M. Veres

Proceedings of the 10th European Control Conference, 2009

2008

Frequency domain iterative tuning for the control of nonlinear vibrations.

Jian Luo, Sandor M. Veres

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Six degree of freedom variable hierarchy sliding mode control in halo orbits with potential function guidance.

Nick K. Lincoln, Sandor M. Veres

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Adaptation and learning in an autonomous physical agent architecture.

Sandor M. Veres, Aron G. Veres

Proceedings of the 9th IFAC Workshop on Adaptation and Learning in Control and Signal Processing, 2007

Model-based predictive adaptive delta modulation.

Anas Al-Korj, Sandor M. Veres

Proceedings of the 9th IFAC Workshop on Adaptation and Learning in Control and Signal Processing, 2007

2006

Discussion on "A Robust Approximation Scheme for the LQG Control of an Undamped Flexible Beam with a Tip Mass".

Sandor M. Veres

Eur. J. Control, 2006

Vision Assisted Satellite Formation Control.

Sandor M. Veres, Nick K. Lincoln

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying.

K. K. T. Thanapalan, Sandor M. Veres, Eric Rogers, Stephen B. Gabriel

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2003

Application of exploratory modelling to active headrest control.

Sandor M. Veres

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Microwave super conductivity filter tuning by multi-stage-unfalsification-based robust adaptive scheme.

Anas Al-Korj, Sandor M. Veres

Proceedings of the Seventh International Conference on Control, 2002

Tuning for robustness and performance using iterative feedback tuning.

Sandor M. Veres, Håkan Hjalmarsson

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Iterative design for active control of fluid flow.

Sandor M. Veres, Lubomír Baramov, Owen R. Tutty, Eric Rogers

Proceedings of the 6th European Control Conference, 2001

Robust loopshaping using iterative feedback tuning.

Håkan Hjalmarsson, Sandor M. Veres

Proceedings of the 6th European Control Conference, 2001

Analysis of formation flying control of a pair of nano-satellites.

Sandor M. Veres, Stephen B. Gabriel, Eric Rogers, David Q. Mayne

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

1999

Improved efficiency of adaptive robust control by model unfalsification.

Hao Xia, Sandor M. Veres

Autom., 1999

A new iterative control design scheme by active model falsification.

Hao Xia, Sandor M. Veres

Proceedings of the 5th European Control Conference, 1999

1998

Adaptive Robust Control under Unknown Plant Orders.

Sandor M. Veres, Victor F. Sokolov

Autom., 1998

1993

Predictive self-tuning control by parameter bounding and worst-case design.

Sandor M. Veres, J. P. Norton

Autom., 1993

Outliers in bound-based state estimation and identification.

J. P. Norton, Sandor M. Veres

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993