You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Below is a list of tasks prioritized from high to low
Update VERDICT wiki with cost modeling for synthesis
Create a new delivery drone model with a realistic cost model that runs with synthesis
Test the robustness of the cost model GUI for synthesis
Work on the synthesis paper with Paul
On a separate branch, work on the unique id for connections and components, and address the issue with a threat instance can be mitigated by a defense on either a connection or a component.
The text was updated successfully, but these errors were encountered:
Below is a list of tasks prioritized from high to low
The text was updated successfully, but these errors were encountered: