Thomas Wright | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

Featured Co-authors

Ian Stark
2 publications

research

∙ 08/14/2020

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic

Signal Temporal Logic monitoring over numerical simulation traces has em...

0 Thomas Wright, et al. ∙

research

∙ 04/19/2018

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

We present the bond-calculus, a process algebra for modelling biological...

0 Thomas Wright, et al. ∙