A selection of the best regular papers
will be done during the workshop, and their authors will receive a
best paper award.
- Kim G. Larsen, Uli Fahrenberg and Claus Thrane. A Quantitative
Characterization of Weighted Kripke Structures in Temporal Logic
- Monika Steinova. Approximability of the Minimum Steiner Cycle Problem
- Zdenek Vasicek and Lukas Sekanina. Efficient Hardware Accelerator for
Symbolic Regression Problems