Verification and Security

Supervisors for Verification and Security

  • Keywords:
    Autonomous agents, multi-agent systems, reinforcement learning, probabilistic inference, state estimation
    Theme:
    Control and Motion Planning, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    University of Edinburgh
  • Keywords:
    Explainable AI, Machine learning, Cognitive robotics, Integrated task and motion planning
    Theme:
    Control and Motion Planning, Human Robot Interaction, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    University of Edinburgh
  • Keywords:
    Optimization Algorithms and Theory, Machine Learning, Multimodal Signal Processing, Network Science
    Theme:
    Control and Motion Planning, Vision and Perception, Verification and Security
    Heriot-Watt University
  • Keywords:
    Robot Learning for Decision Making under Uncertainty, Dexterous Manipulation and Control, Human-Robot Interaction,...
    Theme:
    Control and Motion Planning, Human Robot Interaction, Machine Learning and AI (inc. multi-agent systems), Bioinspired Approaches, Verification and Security
    University of Edinburgh
  • Keywords:
    Parallel programming languages, domain specific languages, dataflow models, embedded systems, hardware, model checking...
    Theme:
    Vision and Perception, Machine Learning and AI (inc. multi-agent systems), Verification and Security
    Heriot-Watt University
Please see the list of supervisors related to this theme. There are no specific research topics advertised in this category.