Artificial Intelligence & Applications

Project: Research area

Project Details

Description

Application of AI Techniques (Model-Based Diagnosis, Constraint Satisfaction Problems ,...) to Software Engineering
in particula Automation Software Debugging and Formal Verifications
Other Application areas include Intelligence Tutoring Systems and Forcasting in the Environmental Domain
StatusActive
Effective start/end date16/11/00 → …

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.