Kenneth Johnson | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Radu Calinescu
25 publications
Colin Paterson
11 publications
John V. Tucker
5 publications
Victoria Wang
1 publication

research

∙ 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. ∙

research

∙ 01/25/2017

Monitoring and Intervention: Concepts and Formal Models

Our machines, products, utilities, and environments have long been monit...

0 Kenneth Johnson, et al. ∙