Paper Accepted: Verification of Brahms Human-Robot Teamwork Models
We are pleased to inform you that your paper
24 : Verification of Brahms Human-Robot Teamwork Models
has been accepted for presentation and publication in the proceedings of the 13th European Conference on Logics in Artificial Intelligence JELIA 2012. Congratulations!
This is another paper primarily by my PhD student and is mostly about how we verified some simple examples of an "intelligent house" system that is supposed to assist a confused elderly person living on their own. The actual example is just a simple case study, most of the work has been the infrastructure to allow programs in the Brahms language (which is designed to simulate examples of humans and robots working together) to actually be verified.
This entry was originally posted at http://purplecat.dreamwidth.org/71426.html.
24 : Verification of Brahms Human-Robot Teamwork Models
has been accepted for presentation and publication in the proceedings of the 13th European Conference on Logics in Artificial Intelligence JELIA 2012. Congratulations!
This is another paper primarily by my PhD student and is mostly about how we verified some simple examples of an "intelligent house" system that is supposed to assist a confused elderly person living on their own. The actual example is just a simple case study, most of the work has been the infrastructure to allow programs in the Brahms language (which is designed to simulate examples of humans and robots working together) to actually be verified.
This entry was originally posted at http://purplecat.dreamwidth.org/71426.html.