scientific article; zbMATH DE number 7379290

DOI10.23638/LMCS-17(2:19)2021MaRDI QIDQ5009705

Twan Basten, Rob de Jong, Kees Goossens, Martijn Hendriks, Marc Geilen

Publication date: 5 August 2021

Full work available at URL: https://arxiv.org/abs/2002.08181

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quality of serviceconstraint programmingmulti-objective combinatorial optimizationembedded and cyber-physical systemsPareto algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• z3

Cites Work

• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• The earlier the better
• Approximating the Pareto Front of Multi-criteria Optimization Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: