Model Checking Knowledge and Probability in Pursuit-Evasion Games

该研究将产生软件，使建模人员能够更好地了解他们的模型在应用中，包括规划下的不确定性，信息流安全和系统故障诊断。本项目研究的应用是军事搜索和救援使命规划，从而提高了使命成功的信心。 这项研究也与应急反应和避免碰撞有关。 该项目将支持保留澳大利亚知识产权，并具有未来商业化的潜力。它将促进澳大利亚研究人员与国际防务联盟伙伴之间的联系。研究成果将通过现有的国防研究共享安排提供给澳大利亚国防部。

The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will support retention of Australian intellectual property with potential for future commercialisation. It will foster linkages between Australian researchers and an international defence alliance partner. Outcomes will be available to Australian Defence through existing Defence research sharing arrangements.