A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming.
J. Object Technol., 2013
Toward a Goal-based Mission Planning Capability - Using PDDL based Automated Planners.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012
Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach.
Proceedings of the 6th International Conference on System of Systems Engineering, 2011
System modelling for run-time verification and validation of autonomous systems.
Proceedings of the 5th International Conference on System of Systems Engineering, 2010
A Mobile Climbing Robot for High Precision Manufacture and Inspection of Aerostructures.
Int. J. Robotics Res., 2005