2 citations · 4 across the 2 of their papers we have counts for
2 papers
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…
cs.DC2022★ 2 cited
Parallel Flowshop in YewPar
Ignas Knizikevičius, Phil Trinder, Blair Archibald +1
Parallelism may reduce the time to find exact solutions for many Operations Research (OR) problems, but parallelising combinatorial search is extremely challenging. YewPar is a new…