In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for futur

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, th

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in Apr

This book constitutes the refereed proceedings of the 12th Annual Conference Towards Autonomous Robotics Systems, TAROS 2011, held in Sheffield, UK, in August/S