4E937AF6-BA5A-4C41-BAD5-48C59B1A7D4AMETHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLESResearch GrantEP/E02727X/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL3053101298F36B-33B6-473F-8BDE-6319BED9DFE5Combining fault injection and model checking to verify fault tolerance in multi-agent systems8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09)09f70c0291bf844bc5c8e59915e4f53cJonathan E2009-01-01Conference/Paper/Proceeding/Abstractm_576259338113e5cd48