3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…