3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2020
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic
Thomas Wright, Ian Stark
Signal Temporal Logic monitoring over numerical simulation traces has emerged as an effective approach to approximate verification of continuous and hybrid systems. In this report…
cs.LO2018★ 3 cited
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics
Thomas Wright, Ian Stark
We present the bond-calculus, a process algebra for modelling biological and chemical systems featuring nonlinear dynamics, multiway interactions, and dynamic bonding of agents. Ma…