Biblio

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Author is Ibrahim, Hassan  [Clear All Filters]
2016
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {27th International Workshop on Principles of Diagnosis DX'16}, Denver, United States, 2016.
H. Ibrahim, Dague, P., and Simon, L., SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.
2017
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.