Well-Behaved Bergs Beles and Berserkers 1998


     Related Videos

     Related Hubpages

    •  Doc. Url:    Embed Code: 

    • citeseer  status
      (0) (0 Votes)
      Views: (1022)   Date: (15-05-09)   Pages: ()
    • Author:  by Diana F. Gordon  Well-behaved Bergs  

    • Abstract:  How can we guarantee that our software and robotic agents will behave as we require, even after learning? Formal verification should play a key role but can be computationally expensive, particularly if re-verification follows each instance of learning. This is especially a problem if the agents need to make rapid decisions and learn quickly while online.

         Related Documents

           Related Groups

             Related Science News

               More on Sciencestage

               Answers

               News

               Related on Wikipedia




























           

          Powered free by PHPmotion