M. Fisher and W. Visser. Verification of autonomous spacecraft control --- a logical vision of the future. In Proc. Workshop on AI Planning and Scheduling For Autonomy in Space Applications, Manchester, UK, 2002.  Home/Search   Document Not in Database   Summary   Related Articles

....to AgentSpeak(F) e.g. handling plan failure, allowing first order terms, allowing variables in the specifications) as far as the complexity of model checking would allow. We also plan as future work to verify more ambitious applications, such as autonomous spacecraft control (on the lines of [6]) Further, we are presently working on translating AgentSpeak(F) into Java rather than Promela, so that we can use JPF2 [16] rather then Spin for model checking. It would be interesting to compare the performances of Spin and JPF2 in model checking AgentSpeak(F) multi agent systems. ....

M. Fisher and W. Visser. Verification of autonomous spacecraft control --- a logical vision of the future. In Proc. Workshop on AI Planning and Scheduling For Autonomy in Space Applications, Manchester, UK, 2002.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC