Constraint Optimization and Abstraction for Embedded Intelligent Systems.

Paul Maier, Martin Sachenbacher

Browse the full CPAIOR paper archive.