Author:
Andisha Ahmad Siyar,Wehrle Martin,Westphal Bernd
Publisher
Springer International Publishing
Reference7 articles.
1. http://www.informatik.uni-freiburg.de/~westphal/spin15
2. Bonet, B., Geffner, H.: Planning as heuristic search. AIJ 129(1–2), 5–33 (2001)
3. Bylander, T.: The computational complexity of propositional STRIPS planning. AIJ 69(1–2), 165–204 (1994)
4. Edelkamp, S., Leue, S., et al.: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2–3), 247–267 (2004)
5. Lecture Notes in Computer Science;S Kupferschmid,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献