Code

Multiobjective exportschedulers#328

Code

Draft

UlisesTorrella wants to merge 18 commits intomoves-rwth:mastermoves-rwth/storm:masterfrom UlisesTorrella:multiobjective-exportschedulersUlisesTorrella/storm:multiobjective-exportschedulersCopy head branch name to clipboard

+292-9

Commits

Commits on Feb 13, 2023

• explicit pareto curve check result stores mapping from pareto point to scheduler

  UlisesTorrella

  committed
  f0d6c45

• scheduler expose number of choices

  UlisesTorrella

  committed
  1a9cff8

• multiobjective postprocessing schedulers

  UlisesTorrella

  committed
  6e22da3

• return schedulers for each point during pcaa

  UlisesTorrella

  committed
  77d5008

• make format

  UlisesTorrella

  committed
  97a2bfc

• storm-cli to allow scheduler exporting in multiobjective analysis

  UlisesTorrella

  committed
  c8b1154

• avoid recomputing scheduler if point is already stored

  UlisesTorrella

  committed
  22635c9

• fix compute original scheduler

  UlisesTorrella

  committed
  651cd2c

• pcaa scheduler to original consider non trivial schedulers

  UlisesTorrella

  committed
  199e49f

Commits on Feb 15, 2023

• transforming schedulers from incorporated memory models to schedulers with memory

  UlisesTorrella

  committed
  fce5e60

• flag to compute schedulers only when exportScheduler is needed in multiobjective

  UlisesTorrella

  committed
  cf52103

• make format

  UlisesTorrella

  committed
  6770306

Commits on Feb 16, 2023

• standard pcaa vector checker only stores needed information from merge result

  UlisesTorrella

  committed
  186f4a4

• multiobjective scheduler postprocessing set dont care to irrelevant states deleted in preprocessing

  UlisesTorrella

  committed
  59de157

Commits on Feb 20, 2023

• fixed bug only happening on release build

  UlisesTorrella

  committed
  fe39c84

Commits on Feb 21, 2023

• optimizations and improvements for scheduler export in multiobjective modelchecking

  UlisesTorrella

  committed
  423d01d

Commits on Mar 10, 2023

• remove leftover comments

  UlisesTorrella

  committed
  8e0a4c1

• fix format

  UlisesTorrella

  committed
  e186866