Colin Paterson | DeepAI

AI Chat

Featured Co-authors

Clark Barrett
54 publications
Danny Weyns
27 publications
Radu Calinescu
25 publications
Mario Gleirscher
24 publications
Necmiye Ozay
22 publications
Haoze Wu
16 publications
Ana Cavalcanti
13 publications
Corina S. Pasareanu
12 publications
Yan Jia
12 publications
Ibrahim Habli
10 publications
Pedro Ribeiro
9 publications

∙ 07/07/2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Autonomous agents are increasingly being proposed for use in healthcare,...

0 Sinem Getir Yaman, et al. ∙

∙ 05/07/2022

PRESTO: Predicting System-level Disruptions through Parametric Model Checking

Self-adaptive systems are expected to mitigate disruptions by continuall...

0 Xinwei Fang, et al. ∙

∙ 09/07/2021

Quantitative Verification with Adaptive Uncertainty Reduction

Stochastic models are widely used to verify whether systems satisfy thei...

0 Naif Alasmari, et al. ∙

∙ 06/11/2021

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

We present a tool-supported approach for the synthesis, verification and...

0 Mario Gleirscher, et al. ∙

∙ 03/19/2021

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning

Two established approaches to engineer adaptive systems are architecture...

0 Danny Weyns, et al. ∙

∙ 03/02/2021

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

We introduce DeepCert, a tool-supported method for verifying the robustn...

0 Colin Paterson, et al. ∙

∙ 02/02/2021

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)

Machine Learning (ML) is now used in a range of systems with results tha...

45 Richard Hawkins, et al. ∙

∙ 11/28/2019

Detection and Mitigation of Rare Subclasses in Neural Network Classifiers

Regions of high-dimensional input spaces that are underrepresented in tr...

13 Colin Paterson, et al. ∙

∙ 05/10/2019

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

Machine learning has evolved into an enabling technology for a wide rang...

0 Rob Ashmore, et al. ∙

∙ 12/24/2018

Efficient Parametric Model Checking Using Domain Knowledge

We introduce an efficient parametric model checking (ePMC) method for th...

0 Radu Calinescu, et al. ∙

∙ 05/24/2018

Observation-Enhanced QoS Analysis of Component-Based Systems

We present a new method for the accurate analysis of the quality-of-serv...

0 Colin Paterson, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world