|
[RBC+13]
Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah and Michael Shafto.
Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems.
In Proc. International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS'13).
2013.
[Presents a verification approach based on the Brahms multi-agent framework, with connections to several model checkers, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|