Corpus ID: 57096746

Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments

@inproceedings{Lyons2012CharacterizingPG,
  title={Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments},
  author={Damian M. Lyons and Ronald C. Arkin and Stephen Fox and Shu Jiang and Prem Nirmal and Munzir Zafar},
  year={2012}
}

Damian M. Lyons, Ronald C. Arkin, +3 authors Munzir Zafar

Published 2012

Computer Science

Autonomous robots offer the potential to conduct CounterWeapons of Mass Destruction (C-WMD) missions in an efficient and robust manner. However, to leverage this potential, a mission designer needs to be able to determine how well a robot system will operate in the noisy and uncertain environments that a CWMD mission may require. We are developing a software framework for verification of performance guarantees for CWMD missions based on the MissionLab software system and a novel process algebra… CONTINUE READING

Save to Library

Create Alert

Cite

Launch Research Feed