| |
Autonomous Agents and Multi-Agent Systems, Vol. 19, No. 1. (2009), pp. 30-52.
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. 18, No. 2. (1 April 2009), pp. 267-294.
|
| |
J Logic Computation (21 November 2008), exn076.
|
| |
Annual Reviews in Control, Vol. 31, No. 1. (2007), pp. 41-54.
|
| |
Auton. Robots, Vol. 9, No. 1. (August 2000), pp. 71-81.
|
| |
Artificial Intelligence Applications, 1990., Sixth Conference on In Artificial Intelligence Applications, 1990., Sixth Conference on (1990), pp. 198-204 vol.1.
|
| |
Information Fusion, 2002. Proceedings of the Fifth International Conference on In Information Fusion, 2002. Proceedings of the Fifth International Conference on, Vol. 1 (2002), pp. 672-679 vol.1.
|
| |
|
| |
Adaptive Behavior, Vol. 4, No. 2. (1 January 1996), pp. 125-172.
|
| |
|
| |
In Proceedings of the Seventh IEEE International Conference on {AI} Applications (1991), pp. 385-388.
|
| |
|
| |
|
| |
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on In Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 412-416.
|
| |
|
| |
Int. J. Softw. Tools Technol. Transf., Vol. 6, No. 2. (August 2004), pp. 158-173.
|
| |
In TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2002), pp. 342-356.
|
| |
Form. Methods Syst. Des., Vol. 24, No. 2. (March 2004), pp. 189-215.
|
| |
Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International In Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International (2004), 264.
|
| |
Aerospace Conference, 2005 IEEE In Aerospace Conference, 2005 IEEE (2005), pp. 507-516.
|
| |
Information Processing Letters, Vol. 97, No. 6. (31 March 2006), pp. 225-230.
|
| |
Computer Aided Verification (2006), pp. 419-423.
|
| |
CONCUR 2003 - Concurrency Theory (2003), pp. 251-265.
|
| |
Theoretical Computer Science In Concurrency Theory (CONCUR 2004), Vol. 358, No. 2-3. (7 August 2006), pp. 273-292.
|
| |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (2004), pp. 152-166.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), Vol. 113 (3 January 2005), pp. 3-21.
|
| |
Artif. Intell., Vol. 32, No. 1. (April 1987), pp. 57-95.
|
| |
Artificial Intelligence, Vol. 56, No. 2-3. (August 1992), pp. 197-222.
|
| |
Robotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on In Robotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on (1991), pp. 1510-1517 vol.2.
|
| |
Artificial Intelligence Applications, 1991. Proceedings., Seventh IEEE Conference on In Artificial Intelligence Applications, 1991. Proceedings., Seventh IEEE Conference on, Vol. i (1991), pp. 385-388.
|
| |
Robotics and Automation, 1997. Proceedings., 1997 IEEE International Conference on In Robotics and Automation, 1997. Proceedings., 1997 IEEE International Conference on, Vol. 4 (1997), pp. 3340-3347 vol.4.
|
| |
Intelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on In Intelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on, Vol. 3 (1998), pp. 1931-1937 vol.3.
|
| |
Intelligent Control/Intelligent Systems and Semiotics, 1999. Proceedings of the 1999 IEEE International Symposium on In Intelligent Control/Intelligent Systems and Semiotics, 1999. Proceedings of the 1999 IEEE International Symposium on (1999), pp. 90-95.
|
| |
Intelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on In Intelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on, Vol. 1 (1998), pp. 551-557 vol.1.
|
| |
Simulation Conference Proceedings, 2000. Winter In Simulation Conference Proceedings, 2000. Winter, Vol. 1 (2000), pp. 950-957 vol.1.
|
| |
Robotics and Automation, 2007 IEEE International Conference on In Robotics and Automation, 2007 IEEE International Conference on (2007), pp. 3693-3698.
|
| |
Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on In Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on (2007), pp. 437-443.
|
| |
Intelligent Robots and Systems '93, IROS '93. Proceedings of the 1993 IEEE/RSJ International Conference on In Intelligent Robots and Systems '93, IROS '93. Proceedings of the 1993 IEEE/RSJ International Conference on, Vol. 2 (1993), pp. 1134-1140 vol.2.
|
| |
Computational Intelligence in Robotics and Automation, 2005. CIRA 2005. Proceedings. 2005 IEEE International Symposium on In Computational Intelligence in Robotics and Automation, 2005. CIRA 2005. Proceedings. 2005 IEEE International Symposium on (2005), pp. 505-511.
|
| |
Systems, Man, and Cybernetics, Part B, IEEE Transactions on In Systems, Man, and Cybernetics, Part B, IEEE Transactions on, Vol. 37, No. 4. (2007), pp. 890-901.
|
| |
Formal Methods in System Design (March 2004), pp. 101-127.
|
| |
Autonomous Robots (August 2000), pp. 71-81.
|
| |
Runtime Verification (2007), pp. 111-125.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), Vol. 113 (3 January 2005), pp. 145-162.
|
| |
Information Systems, Vol. 33, No. 1. (March 2008), pp. 64-95.
|
| |
Information and Computation In Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA '06), Vol. 206, No. 2-4. ( 2008), pp. 158-184.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fifth Workshop on Runtime Verification (RV 2005), Vol. 144, No. 4. (26 May 2006), pp. 91-108.
|
| |
Knowledge-Based Systems In AI 2006, The 26th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Vol. 20, No. 2. (March 2007), pp. 134-142.
|
| |
Robotics and Autonomous Systems, Vol. 53, No. 2. (30 November 2005), pp. 73-88.
|
| |
Robotics and Automation, 2007 IEEE International Conference on In Robotics and Automation, 2007 IEEE International Conference on (2007), pp. 3699-3704.
|
