Search results for: Philippe Dague
IEEE Transactions on Automatic Control > 2017 > 62 > 4 > 1768 - 1780
International Journal of Control, Automation and Systems > 2017 > 15 > 2 > 776-789
Lecture Notes in Computer Science > Genetic Programming > 220-232
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 2. Knowledge Representation 1 > 113-127
Lecture Notes in Computer Science > Expert Systems in Engineering Principles and Applications > 16-31
Lecture Notes in Computer Science > Modern Approaches in Applied Intelligence > Section 5: Applications of Artificial Intelligence > 186-198
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Regular Papers > 815-830
52nd IEEE Conference on Decision and Control > 5009 - 5015