• Towards Performance Guarantees for Emergent Behavior 

      Arkin, Ronald C.; Lyons, Damian M. (Georgia Institute of Technology, 2003)
      It is important to be able to guarantee the safety and effectiveness of robot behavior in applications where robots must operate alongside people or in hazardous situations. A modeling framework based on port automata and ...