Files

models

Add AltitudeController model (includes multiple MIVCs)

May 26, 2021

2f14d25 · May 26, 2021

Name		Name	Last commit message	Last commit date
parent directory ..
AltitudeController		AltitudeController	Add AltitudeController model (includes multiple MIVCs)	May 26, 2021
AttackDefenseCollectorDemo		AttackDefenseCollectorDemo	Clean up formatting, remove unneeded files	Sep 24, 2020
CASE_Toy_Models		CASE_Toy_Models	Add GitHub release workflow	Aug 14, 2020
CruiseController		CruiseController	Remove accidentally uploaded file	Feb 1, 2021
DeliveryDrone		DeliveryDrone	Make transitions between DeliveryDrone system modes deterministic	Jan 21, 2021
DeliveryDrone_BusBindings		DeliveryDrone_BusBindings	Make transitions between DeliveryDrone system modes deterministic	Jan 21, 2021
DeliveryDrone_CASE_v0		DeliveryDrone_CASE_v0	Make transitions between DeliveryDrone system modes deterministic	Jan 21, 2021
DeliveryDrone_CASE_v1		DeliveryDrone_CASE_v1	Make transitions between DeliveryDrone system modes deterministic	Jan 21, 2021
DeliveryDrone_CASE_v2		DeliveryDrone_CASE_v2	Disable lemmas in DeliveryDrone_CASE_v2	Feb 5, 2021
DeliveryDrone_CRV		DeliveryDrone_CRV	Copy of DeliveryDrone model to reproduce CRV results described in Wiki	Feb 5, 2021
HawkeyeUAV_Models_VERDICT		HawkeyeUAV_Models_VERDICT	Add _Attack properties back to VERDICT_Properties	May 27, 2020
SynthesisDemo		SynthesisDemo	Clean up formatting, remove unneeded files	Sep 24, 2020
Thermostat		Thermostat	Add GitHub release workflow	Aug 14, 2020
Thermostat_with_verdict_props		Thermostat_with_verdict_props	Add GitHub release workflow	Aug 14, 2020
UAV_Demo2AM		UAV_Demo2AM	Model sent to Nikhil Ranade (TA7)	Mar 22, 2021
UxAS-VERDICT		UxAS-VERDICT	Added UxAS model for VERDICT based on Collins model on DARPA CASE.	Feb 11, 2021
.gitignore		.gitignore	Add GitHub release workflow	Aug 14, 2020