pith. sign in

Colin Paterson

Identifiers

  • name variant Colin Paterson 0.60 · backfill

Papers (4)

  1. Engineering Reliable Autonomous Systems: Challenges and Solutions cs.RO · 2026 · author #21
  2. Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges cs.LG · 2019 · author #3
  3. Efficient Parametric Model Checking Using Domain Knowledge cs.SE · 2018 · author #2
  4. Observation-Enhanced QoS Analysis of Component-Based Systems cs.SE · 2018 · author #1

Mentions

  • 2606.23760 #21 · arxiv_oai · confidence 0.70 Colin Paterson

Frequent Coauthors