activity
20212026
most citedModelling Real-time Systems with Bigraphs

2 citations · 6 across the 7 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2024★ 2 cited

The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction

Ayodeji O. Abioye, William Hunt, Yue Gu +7

Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circums…