The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1993 vol.19)
pp: 788-803
ABSTRACT
<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>
INDEX TERMS
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
CITATION
B. Hamidzadeh, S. Shekhar, "Specification and Analysis of Real-Time Problem Solvers", IEEE Transactions on Software Engineering, vol.19, no. 8, pp. 788-803, August 1993, doi:10.1109/32.238582
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool