Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less
Improving the performance of Australian social insurance schemes. Applying methods from computational social science, this project aims to develop a novel, multi-level modeling framework to assist transport injury, workplace injury and disability insurance schemes consistently achieve and maintain standards of high performance as recognised by international benchmarks. By creating a virtual laboratory for policy-makers and scheme managers, it expects to generate a comprehensive understanding of ....Improving the performance of Australian social insurance schemes. Applying methods from computational social science, this project aims to develop a novel, multi-level modeling framework to assist transport injury, workplace injury and disability insurance schemes consistently achieve and maintain standards of high performance as recognised by international benchmarks. By creating a virtual laboratory for policy-makers and scheme managers, it expects to generate a comprehensive understanding of mechanisms driving insurance scheme performance, enabling comparison of anticipated outcomes in response to legislative changes, policy changes and management decisions. The project aims to help schemes avoid human and financial failure, benefitting people with injuries and disabilities while reducing scheme costs.Read moreRead less