Skip to content
Snippets Groups Projects
Commit 81017595 authored by Giammarco, Kristin M's avatar Giammarco, Kristin M
Browse files

Update models/Application_examples/Ballistic_Missile_Defense.mp

parent d45aee49
No related branches found
No related tags found
No related merge requests found
......@@ -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 ) *)
;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment