|
[GHA+23]
Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani and Mohammad D. Soorati.
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.
In Proc. 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN).
2023.
[Presents formal modelling and verification techniques for robot swarms, building on probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|