Update README.md

sahas3 · Sep 23, 2015 · cd61716 · cd61716
1 parent de8ac27
commit cd61716
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,6 @@
 # MILP-MTL
 An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
+See http://tinyurl.com/sahaResearch#MILP-MTL for details.
 
 # Installing Dependencies