Showing cs.LOShow all
2 papers · 1 filter
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
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…