Author:
Clark Keith,Dongol Brijesh,Robinson Peter
Publisher
Springer International Publishing
Reference9 articles.
1. Clark, K.L., Robinson, P.J.: Robotic agent programming in TeleoR. In: Proceedings of International Conference of Robotics and Automation. IEEE (2015)
2. Clark, K.L., Robinson, P.J.: Chapter 3: introduction to QuLog. In: Programming Communicating Robotic Agents: A Multi-tasking Teleo-Reactive Approach. Springer (2020). (To appear)
3. Lecture Notes in Computer Science;B Dongol,2012
4. Dongol, B., Hayes, I.J., Robinson, P.J.: Reasoning about goal-directed real-time teleo-reactive programs. Formal Asp. Comput. 26(3), 563–589 (2014).
https://doi.org/10.1007/s00165-012-0272-1
5. Jones, J., Roth, D.: Robot Programming: A Practical Guide to Behavior-based Robotics. McGraw-Hill, New York (2004)