Sandor M. Veres

85 papers A* 1A 1B 1C 3Misc 1Journal 37Unranked 40

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