Res Informatica

Publikace projektu

• Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation (2010)
• Using Gaussian Processes for Fitness Function Approximation in Genetic Algorithms (2009)
• Interoperable domain-specific languages families for code generation (2013)