Keyword:decomposition

Papers
Extended formulations for the min-max-min problem with few recourse solutions Marco Silva, Ayse Nur Arslan and Michael Poss EasyChair Preprint no. 2493
Coordinated railway traffic rescheduling with the Resource Conflict Graph model Ambra Toletti, Marco Laumanns and Ulrich Weidmann EasyChair Preprint no. 884
Compositional Verification of Security Properties for Embedded Execution Platforms Christoph Baumann, Oliver Schwarz and Mads Dam In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems