Merge branch 'master' of https://github.com/sahas3/MILP-MTL

sahas3 · Oct 6, 2015 · 6d20a7f · 6d20a7f
2 parents 20e4e17 + cd61716
commit 6d20a7f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/LICENSE b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2015, sahas3
+Copyright (c) 2015, Sayan Saha
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

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
 
@@ -13,11 +14,13 @@ We use the Gurobi solver as back-end to solve the optimization problem, though o
 For the user-interactive example to work without modifications, Gurobi needs to be installed and configured for Matlab. 
 See http://www.gurobi.com.
 
+The user-interactive example also uses a customized ginput.m file by Jiro Doke (http://www.mathworks.com/matlabcentral/fileexchange/38703-custom-ginput/content/ginputc.m) and is included here.
+
 # Example
 
 Once everything is installed, you can run the file 'find_OptimalTraj_mpc_m3pi.m' and choose either to run the in-built 
 example or provide a reach-avoid MTL specification of your choice.
 
 # Contact Us
 
-You can contact sahas3@rpi.edu for any queries or to report any bugs in the code.
+You can contact sahas3@rpi.edu for any queries or to report any bugs in the code.