Linkage Projects - Grant ID: LP0882961

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/LP0882961

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 31-03-2009

End Date: 31-12-2011

Funding Scheme: Linkage Projects

Funding Amount: $375,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Other Artificial Intelligence | Artificial Intelligence and Image Processing

ANZSRC Socio-Economic Objective (SEO)

Combined operations | Computer software and services not elsewhere classified |

Other Keywords

Artificial Intelligence and Image Processing | Combined operations | Computer software and services not elsewhere classified | Mathematical Logic And Formal Languages | Other Artificial Intelligence

Related Links