38 citations · 78 across the 12 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Practical Modelling with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of…
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…