|
[ACSX21]
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu.
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.
In Proc. Third Workshop on Formal Methods for Autonomous Systems (FMAS'21).
2021.
[Proposes methods for formal modelling and analysis of human-autonomy teaming scenarios, using PRISM as an underlying solver.]
|
|
Links:
[Google]
[Google Scholar]
|