Summary of the presentation

        This presentation is about the formal assurance for cooperative intelligent agents and this seminar for the Florida institute of technology. In the first part there is discussion about the motivation to the intelligent agents. Because these agents are involve in controlling the autonomous system, with collaboration of the humans. The limitations of the intelligent agents are explained in detail. Discussion about the emerging areas of the research that includes the artificial intelligence and the next part is the assured autonomy

        Then after this formal methods for Assurance are explained in detail in which some of the programs and also some systems for integration are explained.  Then after this some research challenges are discussed in which the first challenge is selecting a modeling paradigm for these autonomous agents. The next challenge is for these agents provide a simulation environment but this system lacks precise analytical capabilities.

        Then in the next part cognitive model with formal verification flow was discussed in detail and explained with the graphs. Then after this there is a design for soar a cognitive architecture was explained in detail. Then sour processing cycle was demonstrated in detail and full explanation about this processing cycle was discussed. Then some important definitions about the timed automation were given. Full explanation about the uppaal model checking, which is done through the tree part analysis. For the automated translation algorithm was explained in detail. Some cases for the autonomous copilot and the working of the autonomous copilot were explained in detail.