Issue No. 08 - August (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.238582
<p>The authors provide a method for the specification of real-time artificial intelligence (AI) problem solvers. Using this method, a formal specification of a real-time problem is presented. In addition, a method for analyzing real-time AI problem solvers is examined using a case study of two real-time problem solvers, namely DYNORAII and RTA* for the real-time path planning problem. New results on worst-case and average-case complexity of the problem, and of the algorithms that solve it, and an experimental evaluation of DYNORAII and RTA* for deadline compliance and response-time minimization are provided.</p>
real-time artificial intelligence; formal specification; real-time problem; real-time AI problem solvers; DYNORAII; RTA*; real-time path planning problem; average-case complexity; deadline compliance; response-time minimization; computational complexity; formal specification; path planning; problem solving; real-time systems
B. Hamidzadeh and S. Shekhar, "Specification and Analysis of Real-Time Problem Solvers," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 788-803, 1993.