Sandor M. Veres

According to our database1, Sandor M. Veres authored at least 59 papers between 1993 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Reliable non-linear state estimation involving time uncertainties.
Automatica, 2018

2017
Formal verification of autonomous vehicle platooning.
Sci. Comput. Program., 2017

Guaranteed computation of robot trajectories.
Robotics and Autonomous Systems, 2017

Predictive control of intersegmental tarsal movements in an insect.
Journal of Computational Neuroscience, 2017

Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Simultaneous search and monitoring by unmanned aerial vehicles.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Verification of logical consistency in robotic reasoning.
Robotics and Autonomous Systems, 2016

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

Fictitious play for cooperative action selection in robot teams.
Eng. Appl. of AI, 2016

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

Fictitious play for cooperative action selection in robot teams.
CoRR, 2016

Collision Avoidance of Two Autonomous Quadcopters.
CoRR, 2016

Verification of Logical Consistency in Robotic Reasoning.
CoRR, 2016

SMCL - Stochastic Model Checker for Learning in Games.
CoRR, 2016

Formal Verification of Autonomous Vehicle Platooning.
CoRR, 2016

A stochastically verifiable autonomous control architecture with reasoning.
CoRR, 2016

Reducing complexity of autonomous control agents for verifiability.
CoRR, 2016

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

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.
CoRR, 2016

Testing, Verification and Improvements of Timeliness in ROS processes.
CoRR, 2016

Practical verification of decision-making in agent-based autonomous systems.
Autom. Softw. Eng., 2016

Testing, Verification and Improvements of Timeliness in ROS Processes.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Towards formal verification of small and micro UAS.
Proceedings of the 2016 European Control Conference, 2016

Learning of cooperative behaviour in robot populations.
Proceedings of the 2016 European Control Conference, 2016

Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication.
Proceedings of the 2016 European Control Conference, 2016

A stochastically verifiable autonomous control architecture with reasoning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming.
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Reconfigurable Autonomy.
KI, 2014

Artificial Neural Network Models of Intersegmental Reflexes.
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.
Proceedings of the European Control Conference, 2014

2013
Natural Language Programming of Complex Robotic BDI Agents.
Journal of Intelligent and Robotic Systems, 2013

Practical Verification of Decision-Making in Agent-Based Autonomous Systems.
CoRR, 2013

Autonomous Asteroid Exploration by Rational Agents.
IEEE Comp. Int. Mag., 2013

2012
Knowledge of machines: review and forward look.
J. Systems & Control Engineering, 2012

2011
A natural language programming solution for executable papers.
Proceedings of the International Conference on Computational Science, 2011

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.
Proceedings of the IJCAI 2011, 2011

2010
Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space.
Proceedings of the Brain-Inspired Information Technology, 2010

Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification.
Int. J. Control, 2010

Satellite Control Using Rational Agent Programming.
IEEE Intelligent Systems, 2010

Frequency domain iterative feedforward/feedback tuning for MIMO ANVC.
Automatica, 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.
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.
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
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008
Frequency domain iterative tuning for the control of nonlinear vibrations.
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.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Adaptation and learning in an autonomous physical agent architecture.
Proceedings of the 9th IFAC Workshop on Adaptation and Learning in Control and Signal Processing, 2007

Frequency domain iterative feedforward/feedback tuning for MIMO ANVC.
Proceedings of the 9th IFAC Workshop on Adaptation and Learning in Control and Signal Processing, 2007

Model-based predictive adaptive delta modulation.
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".
Eur. J. Control, 2006

2002
Microwave super conductivity filter tuning by multi-stage-unfalsification-based robust adaptive scheme.
Proceedings of the Seventh International Conference on Control, 2002

1999
Improved efficiency of adaptive robust control by model unfalsification.
Automatica, 1999

1998
Adaptive Robust Control under Unknown Plant Orders.
Automatica, 1998

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

Outliers in bound-based state estimation and identification.
Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993


  Loading...