Benjamin J. Kuipers
-
Qr-model based testing
Proceedings of the 3rd international workshop on Automation of software test
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence