Stan Klasa

Learn More
Software complexity is the main obstacle to further progress in the IT industry. One solution is the autonomic system with self-* properties. Formal methods are proven approaches to ensuring the correct operation of complex interacting systems. However, the current formal methods do not adequately address the problem of verifying two of the most important(More)
The NASA's Autonomous Nano Technology Swarm (ANTS) is a generic mission architecture consisting of miniaturized, autonomous, self-similar, reconfigurable, and addressable components forming structures. The Prospecting Asteroid Mission (PAM) is one of ANTS applications for survey of large dynamic populations. In this paper, we propose a formal approach based(More)
Multi-Agent Systems (MAS) have been widely proposed and applied to various application domains, where traditional approaches are impractical, such as space exploration missions. MAS can offer greater redundancy, efficiency, and scalability; however, they also raise new challenges, such as complex and often unexpected emergent group behavior, which require a(More)
  • 1