quantitative formal methods, verification, control strategy
synthesis, systems with degradation, optimal path planning,
least-violating path planning