Colin Paterson

University of York

Papers

4

Total Citations

40

H-Index

3

About

No biography available yet.

Research Focus

Computer science4 · 40 citations
Engineering3 · 33 citations
Artificial intelligence2 · 31 citations
Process (computing)2 · 31 citations
Controller (irrigation)1 · 25 citations
Task (project management)1 · 25 citations
Programming language1 · 25 citations
Robot1 · 25 citations
Software engineering1 · 25 citations
Systems engineering1 · 25 citations
Correctness1 · 25 citations
Executable1 · 25 citations

Key Achievements

3
H-Index
4
Papers
40
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Verified synthesis of optimal safety controllers for human-robot collaboration
25 citations · 2022
📈 Most Prolific Year: 2022 (2 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: University of York

Top Papers

  1. 1
    Verified synthesis of optimal safety controllers for human-robot collaboration
    25 citations · 2022
  2. 2
    Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
    7 citations · 2024
  3. 3
    Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems
    6 citations · 2022
  4. 4
    Specification, Validation and Verification Of Social, Legal, Ethical, Empathetic and Cultural Requirements For Autonomous Agents
    2 citations · 2023

Key Collaborators

RCRadu Călinescu4 shared papersPRPedro Ribeiro2 shared papersBTBeverley Townsend2 shared papersACAna Cavalcanti2 shared papersSGSinem Getir Yaman2 shared papersRARob Alexander1 shared papersJRJoshua Riley1 shared papersJMJonathan M. Aitken1 shared papersJAJames A. Douthwaite1 shared papersDKDaniel Kudenko⋆1 shared papersJLJames Law1 shared papersMGMario Gleirscher1 shared papersABAlec Banks1 shared papersBLBenjamin Lesage1 shared papers
Not generated yet