Outliers in bound-based state estimation and identification. - J. P. Norton; Sandor M. Veres (ISCAS, 1993)

Predictive self-tuning control by parameter bounding and worst-case design. - Sandor M. Veres; J. P. Norton (Autom., 1993)

Adaptive Robust Control under Unknown Plant Orders. - Sandor M. Veres; Victor F. Sokolov (Autom., 1998)

A new iterative control design scheme by active model falsification. - Hao Xia; Sandor M. Veres (ECC, 1999)

Improved efficiency of adaptive robust control by model unfalsification. - Hao Xia; Sandor M. Veres (Autom., 1999)

Analysis of formation flying control of a pair of nano-satellites. - Sandor M. Veres; Stephen B. Gabriel; Eric Rogers; David Q. Mayne (CDC, 2001)

Robust loopshaping using iterative feedback tuning. - Håkan Hjalmarsson; Sandor M. Veres (ECC, 2001)

Iterative design for active control of fluid flow. - Sandor M. Veres; Lubomír Baramov; Owen R. Tutty; Eric Rogers (ECC, 2001)

Tuning for robustness and performance using iterative feedback tuning. - Sandor M. Veres; Håkan Hjalmarsson (CDC, 2002)

Microwave super conductivity filter tuning by multi-stage-unfalsification-based robust adaptive scheme. - Anas Al-Korj; Sandor M. Veres (ICARCV, 2002)

Application of exploratory modelling to active headrest control. - Sandor M. Veres (CDC, 2003)

Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying. - K. K. T. Thanapalan; Sandor M. Veres; Eric Rogers; Stephen B. Gabriel (CDC, 2006)

Vision Assisted Satellite Formation Control. - Sandor M. Veres; Nick K. Lincoln (CDC, 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)

Model-based predictive adaptive delta modulation. - Anas Al-Korj; Sandor M. Veres (ALCOSP, 2007)

Adaptation and learning in an autonomous physical agent architecture. - Sandor M. Veres; Aron G. Veres (ALCOSP, 2007)

Six degree of freedom variable hierarchy sliding mode control in halo orbits with potential function guidance. - Nick K. Lincoln; Sandor M. Veres (CDC, 2008)

Frequency domain iterative tuning for the control of nonlinear vibrations. - Jian Luo 011; Sandor M. Veres (CDC, 2008)

Discrete time sliding mode control for satellite clusters at Lagrange points. - Nick K. Lincoln; Sandor M. Veres (ECC, 2009)

Verification of autonomous underwater vehicles using formal logic. - Levente Molnar; Sandor M. Veres (ECC, 2009)

Agent Based Approaches to Engineering Autonomous Space Software - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (FMA, 2009)

Direct policy search method in fault tolerant autonomous systems. - Badril Abu Bakar; Sandor M. Veres (ALCOSP, 2010)

An agent based framework for adaptive control and decision making of autonomous vehicles. - Nicholas Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (ALCOSP, 2010)

Declarative Abstractions for Agent Based Hybrid Control Systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (DALT, 2010)

Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. - Jian Luo 011; Sandor M. Veres (Autom., 2010)

Satellite Control Using Rational Agent Programming. - Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001; Nicholas Lincoln; Sandor M. Veres (IEEE Intell. Syst., 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)

Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space. - Sandor M. Veres (Brain-Inspired Information Technology, 2010)

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. - Jonathan Ezekiel; Alessio Lomuscio; Levente Molnar; Sandor M. Veres (IJCAI, 2011)

A natural language programming solution for executable papers. - Sandor M. Veres; J. Patrik Adolfsson (ICCS, 2011)

Knowledge of machines: review and forward look. - Sandor M. Veres (J. Syst. Control. Eng., 2012)

Autonomous Asteroid Exploration by Rational Agents. - Nick K. Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (IEEE Comput. Intell. Mag., 2013)

Natural Language Programming of Complex Robotic BDI Agents. - Nicholas Lincoln; Sandor M. Veres (J. Intell. Robotic Syst., 2013)

On efficient consistency checks by robots. - Hongyang Qu 001; Sandor M. Veres (ECC, 2014)

Artificial Neural Network Models of Intersegmental Reflexes. - Alicia Costalago Meruelo; David M. Simpson 001; Sandor M. Veres; Philip L. Newland (IJCCI (NCTA), 2014)

Reconfigurable Autonomy. - Louise A. Dennis; Michael Fisher 001; Jonathan M. Aitken; Sandor M. Veres; Yang Gao 002; Affan Shaukat; Guy Burroughes (Künstliche Intell., 2014)

Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. - Michalis Smyrnakis; Hongyang Qu 001; Sandor M. Veres (AAMAS, 2015)

Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. - Hongyang Qu 001; Andreas Kolling; Sandor M. Veres (TAROS, 2015)

A stochastically verifiable autonomous control architecture with reasoning. - Paolo Izzo; Hongyang Qu 001; Sandor M. Veres (CDC, 2016)

Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication. - Owen McAree; Sandor M. Veres (ECC, 2016)

Learning of cooperative behaviour in robot populations. - Michalis Smyrnakis; Dario Bauso; Paul A. Trodden; Sandor M. Veres (ECC, 2016)

Towards formal verification of small and micro UAS. - Sandor M. Veres; Owen McAree; Jonathan M. Aitken (ECC, 2016)

Autonomous Agent Behaviour Modelled in PRISM - A Case Study. - Ruth Hoffmann; Murray L. Ireland; Alice Miller 001; Gethin Norman; Sandor M. Veres (SPIN, 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 002; Sandor M. Veres; Michael Fisher 001 (TAROS, 2016)

Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. - James A. Douthwaite; Lyudmila S. Mihaylova; Sandor M. Veres (TAROS, 2016)

Testing, Verification and Improvements of Timeliness in ROS Processes. - Mohammed Y. Hazim; Hongyang Qu 001; Sandor M. Veres (TAROS, 2016)

Practical verification of decision-making in agent-based autonomous systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (Autom. Softw. Eng., 2016)

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. - Murray L. Ireland; Ruth Hoffmann; Alice Miller 001; Gethin Norman; Sandor M. Veres (CoRR, 2016)

Reducing complexity of autonomous control agents for verifiability. - Paolo Izzo; Hongyang Qu 001; Sandor M. Veres (CoRR, 2016)

SMCL - Stochastic Model Checker for Learning in Games. - Hongyang Qu 001; Michalis Smyrnakis; Sandor M. Veres (CoRR, 2016)

Collision Avoidance of Two Autonomous Quadcopters. - Michalis Smyrnakis; Jonathan M. Aitken; Sandor M. Veres (CoRR, 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)

Fictitious play for cooperative action selection in robot teams. - Michalis Smyrnakis; Sandor M. Veres (Eng. Appl. Artif. Intell., 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 001; Sandor M. Veres; Philip L. Newland (Neural Networks, 2016)

Verification of logical consistency in robotic reasoning. - Hongyang Qu 001; Sandor M. Veres (Robotics Auton. Syst., 2016)

Simultaneous search and monitoring by unmanned aerial vehicles. - Haoyu Zhang; Sandor M. Veres; Andreas Kolling (CDC, 2017)

Predictive control of intersegmental tarsal movements in an insect. - Alicia Costalago Meruelo; David M. Simpson 001; Sandor M. Veres; Philip L. Newland (J. Comput. Neurosci., 2017)

Guaranteed computation of robot trajectories. - Simon Rohou; Luc Jaulin; Lyudmila Mihaylova; Fabrice Le Bars; Sandor M. Veres (Robotics Auton. Syst., 2017)

Formal verification of autonomous vehicle platooning. - Maryam Kamali; Louise A. Dennis; Owen McAree; Michael Fisher 001; Sandor M. Veres (Sci. Comput. Program., 2017)

Computational Framework for Verifiable Decisions of Self-Driving Vehicles. - Mohammed Al-Nuaimi; Hongyang Qu 001; Sandor M. Veres (CCTA, 2018)

Formal Verification of Quadcopter Flight Envelop Using Theorem Prover. - Omar A. Jasim; Sandor M. Veres (CCTA, 2018)

A stochastically verifiable decision making framework for autonomous ground vehicles. - Mohammed Al-Nuaimi; Hongyang Qu 001; Sandor M. Veres (ISR, 2018)

Reliable non-linear state estimation involving time uncertainties. - Simon Rohou; Luc Jaulin; Lyudmila Mihaylova; Fabrice Le Bars; Sandor M. Veres (Autom., 2018)

Autonomous Nuclear Waste Management. - Jonathan M. Aitken; Sandor M. Veres; Affan Shaukat; Yang Gao 002; Elisa Cucco; Louise A. Dennis; Michael Fisher 001; Jeffrey A. Kuo; Thomas Robinson; Paul E. Mort (IEEE Intell. Syst., 2018)

Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. - Michalis Smyrnakis; Hongyang Qu 001; Sandor M. Veres (Int. J. Artif. Intell. Tools, 2018)

Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter. - Omar A. Jasim; Sandor M. Veres (CoDIT, 2019)

Intuitive Programming with Remotely Instructed Robots inside Future Gloveboxes. - Ayan Ghosh; Sandor M. Veres; Daniel A. Paredes Soto; James E. Clarke; John Anthony Rossiter (HRI (Companion), 2020)

Multi-model Adaptive Learning for Robots Under Uncertainty. - Michalis Smyrnakis; Hongyang Qu 001; Dario Bauso; Sandor M. Veres (ICAART (1), 2020)

On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. - Michalis Smyrnakis; Hongyang Qu 001; Dario Bauso; Sandor M. Veres (ICAART (Revised Selected Papers), 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 (MED, 2020)

Verification Framework for Control System Functionality of Unmanned Aerial Vehicles. - Omar A. Jasim; Sandor M. Veres (CoRR, 2020)

Advanced Environment Modelling for Remote Teleoperation to Improve Operator Experience. - Yixiang Jin; Daniel Alonso Paredes Soto; John Anthony Rossiter; Sandor M. Veres (icARTi, 2021)

Accurate 6D Object Pose Estimation and Refinement in Cluttered Scenes. - Yixiang Jin; John Anthony Rossiter; Sandor M. Veres (ROBOVIS, 2021)

Concepts of Self-maintaining Robots and Their Design. - Chenjie Shi; Sandor M. Veres (CoRR, 2021)

Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. - Mohammed Al-Nuaimi; Sapto Wibowo; Hongyang Qu 001; Jonathan M. Aitken; Sandor M. Veres (J. Sens. Actuator Networks, 2021)

Simultaneous search and monitoring by multiple aerial robots. - Haoyu Zhang; Sandor M. Veres; Andreas Kolling (Robotics Auton. Syst., 2023)