Reasoning about robot actions: A model checking approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2466, Issue , 2002, Pages 123-139

  Ben Lamine, Khaled ^a   Kabanza, Froduald ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ROBOT PROGRAMMING; ROBOTICS; ROBOTS;

DIRECT PRODUCT; MOBILE ROBOT CONTROL; PROCESS INFORMATION; ROBOT ACTIONS; UNPREDICTABLE ENVIRONMENTS;

MODEL CHECKING;

EID: 84949499426     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. Arkin, C.: Behavior-Based Robotics. The MIT Press (1998)
2. Konolige, K., Myers, K., Ruspini, E., and Saffiotti, A.: The Saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence 9 (1997) 215-235
3. Werger, B.: Ayllu: Distributed port-arbitrated behavior-based control. In: Proc. of 5th International Symposium on Distributed Autonomous Robotic Systems (DARS). (2000) 24-35
4. Holzmann, G.: Design and Validation of Computer Protocols. Prentice-Hall (1991)
5. Manna, Z., and Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag (1991)
6. De Giacomo, G., Lesp_erance, Y., and Levesques, H.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121 (2000) 109-169
7. Bacchus, F., and Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116 (2000) 123-191
8. Drummond, M., and Bresina, J.: Anytime synthetic projection: Maximizing probability of goal satisfaction. In: Proc. of 8th National Conference on Artificial Intelligence (AAAI 90), MIT Press (1990) 138-144
9. Barbeau, M., Kabanza, F., and St-Denis, R.: Synthesizing plant controllers using real-time goals. In: Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann (1995) 791-798
10. Kabanza, F., Barbeau, M., and St-Denis, R.: Planning control rules for reactive agents. Artificial Intelligence 95 (1997) 67-113
11. Schönherr, F., Cistelecan, M., Hertzberg, J., and Christaller, T.: Extracting situation facts from activation value histories in behavior-based robots. In: Proc. Of Joint German/Austrian Conference on AI, LNAI Vol. 2174. (2001) 305-319
12. Nicolescu, M., and Mataric, M.: Extending behaviour-based systems capabilities using an abstract behaviour representation. In: Proc. of AAAI Fall Symposium on Parallel Cognition. (2000) 27-34
13. Ben Lamine, K., and Kabanza, F.: History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. In: Proc. of the 12th IEEE International Conference on Tools with Artificial Intelligence. (2000) 312-319
14. Haslum, P.: Models for prediction. In: In IJCAI Workshop on Planning under Uncertainty and Incomplete Information. (2001) 8-17
15. Alur, R., et al.: A framework and architecture for multirobot coordination. In: Proc. 7th International Symposium on Experimental Robotics. (2001) 289-300