1. M. Bayoudh, L. Travé-Massuyès, and X. Olive. Towards active diagnosis of hybrid systems. In Proc of DX'08, 2008.
2. Practical Approaches to Multi-Objective Optimization;Branke,2007
3. E. Chanthery, M. Barbier, and J-L Farges. On-line mission planning for autonomous vehicles. In ICAPS'05 – International Workshop on “Planning under Uncertainty for Autonomous Systems”, 2005.
4. Introduction to automata theory, languages, and computation (2nd ed);Hopcroft,2001
5. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications;Jiang;IEEE Transactions on Automatic Control,2004