diff --git a/models/Application_examples/Ballistic_Missile_Defense.mp b/models/Application_examples/Ballistic_Missile_Defense.mp index 5f8ffca52ecbaf2ae3cb6ead7c42ee22eaa9fb45..9e044a14d6fafb71a22508d24ceb681b88cb2bb0 100644 --- a/models/Application_examples/Ballistic_Missile_Defense.mp +++ b/models/Application_examples/Ballistic_Missile_Defense.mp @@ -92,7 +92,6 @@ COORDINATE $a: Detect_target, $b: Establish_target_track COORDINATE $a: Develop_firing_control_solution, $b: Request_launch_authorization DO ADD $a PRECEDES $b; OD; -/* Probability is made up for demonstration purposes. */ ROOT Captain: (+ ( <<0.96>> Authorize_missile_launch | Deny_missile_launch ) +) ; @@ -118,7 +117,6 @@ COORDINATE $a: Prepare_for_launch, $b: Command_missile_launch ROOT Missile: (* Launch Maneuver_to_target - /* Probability is made up for demonstration purposes. */ ( <<0.99>> Intercept_target | Miss_target ) *) ;