Cardoso RC, Bordini RH. (2019). Decentralised Planning for Multi-Agent Programming Platforms.

Nalon C, Hustadt U, Dixon C. (2018). A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning.

Yang C., Yuan K., Merkt W., Komura T., Vijayakumar S., Li Z.. (2018). Learning Whole-body Motor Skills for Humanoids.

Yiming Y, Merk W, Ivan V, Vijayakumar S. (2018). Planning in Time-Configuration Space for Efficient Pick-and-Place in Non-Static Environments with Temporal Constraints.

Yan L, Yang Y, Xu W, Vijayakumar S. (2018). Dual-arm Coordinated Motion Planning and Compliance Control for Capturing Moving Objects with Large Momentum.

Ivan V, Yang Y, Merkt W, Camilleri M, Vijayakumar S. (2019). EXOTica: An Extensible Optimization Toolset for Prototyping and Benchmarking Motion Planning and Control. Robot Operating System (ROS). (pp. 211-240).

Ferrando A, Dennis L, Ancona D, Fisher M, Mascardi V. (2018). Verifying and Validating Autonomous Systems: Towards an Integrated Approach. Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. (pp. 263-281).

S. Mahboubi, S. Davis, S. Nefti-Meziani. (2018). Variable Stiffness Robotic Hand for Stable Grasp and Flexible Handling. IEEE Access.

Yuan K, Li Z. (2018). An Improved Formulation for Model Predictive Control of Legged Robots for Gait Planning and Feedback Control.

Winikoff M, Dennis LA, Fisher M. (2018). Slicing Agent Programs for more Efficient Verification.

Farrell M, Luckcuck M, Fisher M. (2018). Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

Webster M, Breza M, Dixon C, Fisher M, McCann. (2018). Formal VerifIcation of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems.

Hustadt U, Nalon C., Dixon C. (2018). Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics.

Al-Shareefi F, Lisitsa A, Dixon C. (2018). Clarification of Ambiguity for the Simple Authentication and Security Layer.

Nanjangud A, Blacker P, Bandyopadhyay S, Gao Y, (2018). Robotics and AI-Enabled On-Orbit Operations With Future Generation of Small Satellites. Proceedings of the IEEE.

Hu W, Chatzinikolaidis I, Yuan K, Li Z. (2018). Comparison Study of Nonlinear Optimization of Step Times and Foot Placement for Dynamic Walking.