Author:
Sohrabi Shirin,Udrea Octavian,Riabov Anton,Hassanzadeh Oktie
Publisher
Springer International Publishing
Reference27 articles.
1. Aljazzar, H., Leue, S.: K*: A heuristic search algorithm for finding the k shortest paths. Artificial Intelligence 175(18), 2129–2154 (2011)
2. Bauer, A., Botea, A., Grastien, A., Haslum, P., Rintanen, J.: Alarm processing with model-based diagnosis of discrete event systems. In: Proceedings of the 22nd International Workshop on Principles of Diagnosis (DX). pp. 52–59 (2011)
3. Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers (1999)
4. Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science: formal models and semantics B, 995–1072 (1990)
5. Göbelbecker, M., Keller, T., Eyerich, P., Brenner, M., Nebel, B.: Coming up with good excuses: What to do when no plan can be found. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS). pp. 81–88 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献