| Ethical Considerations for a Decision Making System for Autonomous Vehicles During an Inevitable Collision | 0 | 0.34 | 2020 |
| Nonlinear Attitude Control Design And Verification For A Safe Flight Of A Small-Scale Unmanned Helicopter | 0 | 0.34 | 2019 |
| Formal Verification Of Quadcopter Flight Envelop Using Theorem Prover | 0 | 0.34 | 2018 |
| Improving Multi-Robot Coordination By Game-Theoretic Learning Algorithms | 0 | 0.34 | 2018 |
| Computational Framework For Verifiable Decisions Of Self-Driving Vehicles | 0 | 0.34 | 2018 |
| Reliable non-linear state estimation involving time uncertainties | 2 | 0.40 | 2018 |
| Autonomous Nuclear Waste Management. | 1 | 0.35 | 2018 |
| Predictive control of intersegmental tarsal movements in an insect. | 0 | 0.34 | 2017 |
| Guaranteed computation of robot trajectories. | 8 | 0.57 | 2017 |
| Formal Verification of Autonomous Vehicle Platooning. | 18 | 0.89 | 2017 |
| Simultaneous Search And Monitoring By Unmanned Aerial Vehicles | 0 | 0.34 | 2017 |
| Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. | 0 | 0.34 | 2016 |
| Verification of logical consistency in robotic reasoning. | 0 | 0.34 | 2016 |
| Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. | 2 | 0.39 | 2016 |
| Testing, Verification and Improvements of Timeliness in ROS Processes. | 1 | 0.35 | 2016 |
| A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. | 1 | 0.35 | 2016 |
| Reducing complexity of autonomous control agents for verifiability. | 3 | 0.41 | 2016 |
| Autonomous Agent Behaviour Modelled in PRISM - A Case Study. | 2 | 0.38 | 2016 |
| SMCL - Stochastic Model Checker for Learning in Games. | 0 | 0.34 | 2016 |
| Collision Avoidance of Two Autonomous Quadcopters. | 0 | 0.34 | 2016 |
| Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller". | 0 | 0.34 | 2016 |
| A Stochastically Verifiable Autonomous Control Architecture With Reasoning | 0 | 0.34 | 2016 |
| Improved system identification using artificial neural networks and analysis of individual differences in responses of an identified neuron. | 2 | 0.41 | 2016 |
| Fictitious play for cooperative action selection in robot teams. | 0 | 0.34 | 2016 |
| Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. | 1 | 0.37 | 2015 |
| Artificial Neural Network Models of Intersegmental Reflexes | 0 | 0.34 | 2014 |
| Reconfigurable Autonomy. | 0 | 0.34 | 2014 |
| On efficient consistency checks by robots | 1 | 0.35 | 2014 |
| Natural Language Programming of Complex Robotic BDI Agents | 5 | 0.52 | 2013 |
| Autonomous Asteroid Exploration by Rational Agents | 2 | 0.41 | 2013 |
| Practical Verification of Decision-Making in Agent-Based Autonomous Systems. | 20 | 0.93 | 2013 |
| A natural language programming solution for executable papers | 2 | 0.43 | 2011 |
| Direct policy search method in fault tolerant autonomous systems. | 0 | 0.34 | 2010 |
| Application Of Discrete Time Sliding Mode Control To A Spacecraft In 6dof With Parameter Identification | 2 | 0.41 | 2010 |
| Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. | 0 | 0.34 | 2010 |
| Declarative abstractions for agent based hybrid control systems | 6 | 0.51 | 2010 |
| An agent based framework for adaptive control and decision making of autonomous vehicles. | 3 | 0.42 | 2010 |
| Agent Based Approaches To Engineering Autonomous Space Software | 1 | 0.40 | 2009 |
| Discrete time sliding mode control for satellite clusters at Lagrange points | 0 | 0.34 | 2009 |
| Six degree of freedom variable hierarchy sliding mode control in halo orbits with potential function guidance | 0 | 0.34 | 2008 |
| Adaptation and learning in an autonomous physical agent architecture. | 0 | 0.34 | 2007 |
| Model-based predictive adaptive delta modulation. | 0 | 0.34 | 2007 |
| Discussion on: A Robust Approximation Scheme for the LQG Control of an Undamped Flexible Beam with a Tip Mass | 0 | 0.34 | 2006 |
| Adaptive robust control under unknown plant orders | 2 | 0.75 | 1998 |
| Outliers in bound-based state estimation and identification | 4 | 0.61 | 1993 |
