From 810175953e55736f0faa744dfed5a92e0ff4cc49 Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Tue, 18 Oct 2022 17:47:56 -0700 Subject: [PATCH] Update models/Application_examples/Ballistic_Missile_Defense.mp --- models/Application_examples/Ballistic_Missile_Defense.mp | 2 -- 1 file changed, 2 deletions(-) diff --git a/models/Application_examples/Ballistic_Missile_Defense.mp b/models/Application_examples/Ballistic_Missile_Defense.mp index 5f8ffca..9e044a1 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 ) *) ; -- GitLab