Technology
PhD Projects
List of Publications
-
Model Construction for Modal Clauses
-
Applying the “SOTEC” framework of sociotechnical risk analysis to the development of an autonomous robot swarm for a public cloakroom
-
Towards a computational model for higher orders of Theory of Mind in social agents
-
Control Strategies Using the Extended Cooperative Dual Task-Space
-
Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots
-
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
-
Embodied Intelligence: A Synergy of Morphology, Action, Perception and Learning
-
Reliable Robot Missions in Dynamic Environments Using Agent-based Controllers
-
Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation