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

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-4 OF 4 CITATIONS

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 15 REFERENCES

    Usability evaluation of high-level user assistance for robot mission specification

    VIEW 1 EXCERPT

    Line-of-sight constrained exploration for reactive multiagent robotic teams

    Towards performance guarantees for emergent behavior

    • Damian M. Lyons, Ronald C. Arkin
    • Engineering, Computer Science
    • IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
    • 2004
    VIEW 3 EXCERPTS

    Representing and analyzing action plans as networks of concurrent processes

    VIEW 1 EXCERPT

    An Behavior-based Robotics

    VIEW 2 EXCERPTS