https://sourceforge.net/p/mtsa/activity/Recent activity for MTSAenTue, 20 Oct 2015 16:50:00 -0000https://sourceforge.net/p/mtsa/code/1139/merging dynamic update bitBucket repository wit...Leandro NahabedianTue, 20 Oct 2015 16:50:00 -0000https://sourceforge.net/p/mtsa/code/1139/https://sourceforge.net/p/mtsa/code/1138/logging count of controller update statesVictor WjugowFri, 09 Oct 2015 20:35:29 -0000https://sourceforge.net/p/mtsa/code/1138/https://sourceforge.net/p/mtsa/code/1137/Create branch count_controller_update_statesVictor WjugowFri, 09 Oct 2015 19:55:51 -0000https://sourceforge.net/p/mtsa/code/1137/https://sourceforge.nethttp%3A//sourceforge.net/projects/mtsa/files/2016-ICSE-updateControllers/mtsa.jar/downloadMTSAWed, 02 Sep 2015 18:44:03 -0000http://sourceforge.net/projects/mtsa/files/2016-ICSE-updateControllers/mtsa.jar/downloadhttps://sourceforge.net/p/mtsa/code/1136/Reducing memory consumption by saving only the ...Ezequiel CastellanoMon, 31 Aug 2015 07:59:31 -0000https://sourceforge.net/p/mtsa/code/1136/https://sourceforge.net/p/mtsa/code/1135/Including MTSA Synthesis library to the build. Ezequiel CastellanoMon, 31 Aug 2015 07:54:00 -0000https://sourceforge.net/p/mtsa/code/1135/https://sourceforge.net/p/mtsa/code/1134/added trapstate to pruneMariano CerruttiMon, 10 Aug 2015 21:02:13 -0000https://sourceforge.net/p/mtsa/code/1134/https://sourceforge.net/p/mtsa/code/1133/[ControllerUpdate] bug fix. re-made commit.Victor WjugowSun, 02 Aug 2015 17:32:28 -0000https://sourceforge.net/p/mtsa/code/1133/https://sourceforge.net/p/mtsa/code/1132/change name from wildlife to sourveillanceLeandro NahabedianFri, 31 Jul 2015 20:41:28 -0000https://sourceforge.net/p/mtsa/code/1132/https://sourceforge.nethttp%3A//sourceforge.net/projects/mtsa/files/2016-ICSE-updateControllers/MTSAcaseStudiesICSE16.zip/downloadMTSAFri, 31 Jul 2015 18:23:05 -0000http://sourceforge.net/projects/mtsa/files/2016-ICSE-updateControllers/MTSAcaseStudiesICSE16.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/mtsa/files/2016-ICSE-updateControllers/mtsa.jar/downloadMTSAFri, 31 Jul 2015 18:23:05 -0000http://sourceforge.net/projects/mtsa/files/2016-ICSE-updateControllers/mtsa.jar/downloadhttps://sourceforge.net/p/mtsa/code/1131/first version of examples for ICSELeandro NahabedianFri, 31 Jul 2015 18:16:51 -0000https://sourceforge.net/p/mtsa/code/1131/https://sourceforge.net/p/mtsa/code/1130/removing old examples versionsLeandro NahabedianFri, 31 Jul 2015 17:53:37 -0000https://sourceforge.net/p/mtsa/code/1130/https://sourceforge.net/p/mtsa/code/1129/removing old examples that are not being used a...Leandro NahabedianFri, 31 Jul 2015 17:09:49 -0000https://sourceforge.net/p/mtsa/code/1129/https://sourceforge.net/p/mtsa/code/1128/updating updating controller examplesLeandro NahabedianFri, 31 Jul 2015 17:02:22 -0000https://sourceforge.net/p/mtsa/code/1128/https://sourceforge.net/p/mtsa/code/1127/[Controller Update]Victor WjugowWed, 15 Jul 2015 21:42:42 -0000https://sourceforge.net/p/mtsa/code/1127/https://sourceforge.net/p/mtsa/feature-requests/15/?limit=25#5c76/0f34Vic, ya estas en BA ? nos juntamos la semana que viene? hay varias cosas para charlar....Nicolas D' IppolitoWed, 15 Jul 2015 11:35:44 -0000https://sourceforge.net/p/mtsa/feature-requests/15/?limit=25#5c76/0f34https://sourceforge.net/p/mtsa/code/1126/Minor refactorEzequiel CastellanoTue, 14 Jul 2015 20:27:44 -0000https://sourceforge.net/p/mtsa/code/1126/https://sourceforge.net/p/mtsa/feature-requests/16/?limit=250#359ecommit que soluciona esto: https://sourceforge.net/p/mtsa/code/1124/Victor WjugowWed, 08 Jul 2015 09:25:32 -0000https://sourceforge.net/p/mtsa/feature-requests/16/?limit=250#359ehttps://sourceforge.net/p/mtsa/code/1125/[Controller Update] Victor WjugowWed, 08 Jul 2015 09:20:00 -0000https://sourceforge.net/p/mtsa/code/1125/https://sourceforge.net/p/mtsa/code/1124/[Controller Update] Victor WjugowWed, 08 Jul 2015 08:40:06 -0000https://sourceforge.net/p/mtsa/code/1124/https://sourceforge.net/p/mtsa/feature-requests/15/?limit=250#5c76Creo que esto no es posible. Lo que hacemos actualmente con las ltl_property que...Victor WjugowWed, 08 Jul 2015 08:38:32 -0000https://sourceforge.net/p/mtsa/feature-requests/15/?limit=250#5c76https://sourceforge.net/p/mtsa/code/1123/Removing extra next_symbol() in activityFluents...Ezequiel CastellanoWed, 08 Jul 2015 02:24:42 -0000https://sourceforge.net/p/mtsa/code/1123/https://sourceforge.net/p/mtsa/code/1122/Integrating "TransferSimulator"相澤　和也Wed, 08 Jul 2015 01:56:48 -0000https://sourceforge.net/p/mtsa/code/1122/https://sourceforge.net/p/mtsa/code/1121/Activity Definitions for Latency ComparisonEzequiel CastellanoTue, 07 Jul 2015 23:35:35 -0000https://sourceforge.net/p/mtsa/code/1121/https://sourceforge.net/p/mtsa/code/1120/Temporal Fix Dependencies Problems jungEzequiel CastellanoTue, 07 Jul 2015 23:31:14 -0000https://sourceforge.net/p/mtsa/code/1120/https://sourceforge.net/p/mtsa/feature-requests/15/?limit=250#5c76Creo que esto no es posible. Lo que hacemos actualmente con las ltl_property que...Victor WjugowTue, 07 Jul 2015 09:17:10 -0000https://sourceforge.net/p/mtsa/feature-requests/15/?limit=250#5c76https://sourceforge.net/p/mtsa/feature-requests/16/?limit=250#21edQue otras formulas deberia considerar? ([]A || []B) tambien entra en el scope? otras...Victor WjugowTue, 07 Jul 2015 07:07:32 -0000https://sourceforge.net/p/mtsa/feature-requests/16/?limit=250#21edhttps://sourceforge.net/p/mtsa/code/1119/[MERGE] trunk to TransferSimulator2 branchVictor WjugowTue, 07 Jul 2015 05:42:24 -0000https://sourceforge.net/p/mtsa/code/1119/https://sourceforge.net/p/mtsa/code/1118/classpath fixVictor WjugowTue, 07 Jul 2015 04:41:24 -0000https://sourceforge.net/p/mtsa/code/1118/https://sourceforge.net/p/mtsa/code/1117/[Controller Update] Victor WjugowMon, 06 Jul 2015 02:26:59 -0000https://sourceforge.net/p/mtsa/code/1117/https://sourceforge.net/p/mtsa/code/1116/EclipseivanpasquiniSun, 05 Jul 2015 19:51:46 -0000https://sourceforge.net/p/mtsa/code/1116/https://sourceforge.net/p/mtsa/code/1115/Estrategia optimistaivanpasquiniSun, 05 Jul 2015 19:48:24 -0000https://sourceforge.net/p/mtsa/code/1115/https://sourceforge.net/p/mtsa/code/1114/En el draw y layout se muestra el conocimiento ...ivanpasquiniSun, 05 Jul 2015 13:16:09 -0000https://sourceforge.net/p/mtsa/code/1114/https://sourceforge.net/p/mtsa/code/1113/creating new TransferSimulator branchVictor WjugowFri, 03 Jul 2015 04:43:34 -0000https://sourceforge.net/p/mtsa/code/1113/https://sourceforge.net/p/mtsa/code/1112/MERGE branch graphUpdate2 [Controller Update] g...Victor WjugowFri, 03 Jul 2015 04:07:20 -0000https://sourceforge.net/p/mtsa/code/1112/https://sourceforge.net/p/mtsa/code/1111/[Controller Update] .classpath filesVictor WjugowFri, 03 Jul 2015 02:24:30 -0000https://sourceforge.net/p/mtsa/code/1111/https://sourceforge.net/p/mtsa/code/1110/Latency Evaluation FrameworkEzequiel CastellanoThu, 02 Jul 2015 20:54:13 -0000https://sourceforge.net/p/mtsa/code/1110/https://sourceforge.net/p/mtsa/code/1109/Added TauRemoval for partially observable and n..."daniel"Wed, 01 Jul 2015 19:39:57 -0000https://sourceforge.net/p/mtsa/code/1109/https://sourceforge.net/p/mtsa/code/1108/TauRemoval algorithm"daniel"Wed, 01 Jul 2015 19:38:50 -0000https://sourceforge.net/p/mtsa/code/1108/https://sourceforge.net/p/mtsa/code/1107/[Controller Update] Victor WjugowWed, 01 Jul 2015 09:34:53 -0000https://sourceforge.net/p/mtsa/code/1107/https://sourceforge.net/p/mtsa/code/1106/Integrating Simulator & transfer robot. 相澤　和也Wed, 01 Jul 2015 03:56:04 -0000https://sourceforge.net/p/mtsa/code/1106/https://sourceforge.net/p/mtsa/code/1105/temporally removed相澤　和也Wed, 01 Jul 2015 03:48:11 -0000https://sourceforge.net/p/mtsa/code/1105/https://sourceforge.net/p/mtsa/code/1104/ResetivanpasquiniSun, 21 Jun 2015 20:45:20 -0000https://sourceforge.net/p/mtsa/code/1104/https://sourceforge.net/p/mtsa/code/1103/View con componentesivanpasquiniSun, 21 Jun 2015 19:48:24 -0000https://sourceforge.net/p/mtsa/code/1103/https://sourceforge.net/p/mtsa/code/1102/Control manualivanpasquiniSun, 21 Jun 2015 16:48:21 -0000https://sourceforge.net/p/mtsa/code/1102/https://sourceforge.net/p/mtsa/code/1101/applicationContext is loading the context file ...Leandro NahabedianFri, 19 Jun 2015 15:02:30 -0000https://sourceforge.net/p/mtsa/code/1101/https://sourceforge.net/p/mtsa/code/1100/"ltsa-context.xml" is the name of the context f...Leandro NahabedianFri, 19 Jun 2015 14:49:55 -0000https://sourceforge.net/p/mtsa/code/1100/https://sourceforge.net/p/mtsa/code/1099/EclipseivanpasquiniSun, 14 Jun 2015 18:41:34 -0000https://sourceforge.net/p/mtsa/code/1099/https://sourceforge.net/p/mtsa/code/1098/Poder visualizar el "do step over" como un anim...ivanpasquiniSun, 14 Jun 2015 18:35:31 -0000https://sourceforge.net/p/mtsa/code/1098/https://sourceforge.net/p/mtsa/code/1097/Definir el problema de Exploración con una sint...ivanpasquiniSun, 14 Jun 2015 13:34:53 -0000https://sourceforge.net/p/mtsa/code/1097/https://sourceforge.net/p/mtsa/code/1096/Definir el problema de Exploración con una sint...ivanpasquiniSun, 14 Jun 2015 01:17:26 -0000https://sourceforge.net/p/mtsa/code/1096/https://sourceforge.net/p/mtsa/code/1095/Poder mostrar por la solapa Output la traza exp...ivanpasquiniSat, 13 Jun 2015 15:25:35 -0000https://sourceforge.net/p/mtsa/code/1095/https://sourceforge.net/p/mtsa/code/1094/[Controller Update] Fixed many equals methods. ...Victor WjugowFri, 12 Jun 2015 10:15:00 -0000https://sourceforge.net/p/mtsa/code/1094/https://sourceforge.net/p/mtsa/code/1093/[Controller Update] testsVictor WjugowFri, 12 Jun 2015 00:45:34 -0000https://sourceforge.net/p/mtsa/code/1093/https://sourceforge.net/p/mtsa/code/1092/implementing 'TransiferSimulator'@NII相澤　和也Thu, 11 Jun 2015 08:59:56 -0000https://sourceforge.net/p/mtsa/code/1092/https://sourceforge.net/p/mtsa/code/1091/[Controller Update] added jung libs and an algo...Victor WjugowMon, 08 Jun 2015 07:48:37 -0000https://sourceforge.net/p/mtsa/code/1091/https://sourceforge.net/p/mtsa/code/1090/[Controller Update] Reconfigure implementationVictor WjugowFri, 05 Jun 2015 08:44:28 -0000https://sourceforge.net/p/mtsa/code/1090/https://sourceforge.net/p/mtsa/code/1089/Created branch graphUpdate2.Victor WjugowFri, 05 Jun 2015 06:51:27 -0000https://sourceforge.net/p/mtsa/code/1089/https://sourceforge.net/p/mtsa/code/1088/MERGE [Controller Update] new syntax to trunkVictor WjugowFri, 05 Jun 2015 06:45:59 -0000https://sourceforge.net/p/mtsa/code/1088/https://sourceforge.net/p/mtsa/code/1087/[Controller Update] reverted somethingVictor WjugowFri, 05 Jun 2015 03:05:48 -0000https://sourceforge.net/p/mtsa/code/1087/https://sourceforge.net/p/mtsa/code/1086/[Controller Update] new syntax. now we specify ...Victor WjugowThu, 04 Jun 2015 16:50:38 -0000https://sourceforge.net/p/mtsa/code/1086/https://sourceforge.net/p/mtsa/feature-requests/16/Considerar formulas mas generales al compilar los safety de Update Controller Victor WjugowThu, 04 Jun 2015 12:47:09 -0000https://sourceforge.net/p/mtsa/feature-requests/16/https://sourceforge.net/p/mtsa/feature-requests/15/Permitir especificar con maquinas de estado los safety en un controllerSpec para Update ControllersVictor WjugowThu, 04 Jun 2015 12:42:25 -0000https://sourceforge.net/p/mtsa/feature-requests/15/https://sourceforge.net/p/mtsa/code/1085/creating branch for the new Update syntaxVictor WjugowWed, 03 Jun 2015 02:53:03 -0000https://sourceforge.net/p/mtsa/code/1085/https://sourceforge.net/p/mtsa/code/1084/commit build.xml for ant. Added libraries for E...Leandro NahabedianTue, 02 Jun 2015 15:48:50 -0000https://sourceforge.net/p/mtsa/code/1084/https://sourceforge.net/p/mtsa/code/1083/ant build fixVictor WjugowTue, 02 Jun 2015 02:28:22 -0000https://sourceforge.net/p/mtsa/code/1083/https://sourceforge.net/p/mtsa/code/1082/[Controller Update] merged trunk into graphUpda...Victor WjugowMon, 01 Jun 2015 17:17:28 -0000https://sourceforge.net/p/mtsa/code/1082/https://sourceforge.net/p/mtsa/code/1081/[Controller Update] Adding graph classes before...Victor WjugowMon, 01 Jun 2015 17:17:28 -0000https://sourceforge.net/p/mtsa/code/1081/https://sourceforge.net/p/mtsa/code/1080/[Controller Update] Little fix.Victor WjugowFri, 29 May 2015 08:26:49 -0000https://sourceforge.net/p/mtsa/code/1080/https://sourceforge.net/p/mtsa/code/1079/[Controller Update] Changed the way we obtain C...Victor WjugowFri, 29 May 2015 05:26:30 -0000https://sourceforge.net/p/mtsa/code/1079/https://sourceforge.net/p/mtsa/code/1078/Add a new test for updating controllers where G...Leandro NahabedianThu, 28 May 2015 21:01:23 -0000https://sourceforge.net/p/mtsa/code/1078/https://sourceforge.net/p/mtsa/code/1077/ivanpasquiniThu, 28 May 2015 20:59:00 -0000https://sourceforge.net/p/mtsa/code/1077/https://sourceforge.net/p/mtsa/code/1076/[Controller Update] Added a method to extract a...Victor WjugowWed, 27 May 2015 06:03:41 -0000https://sourceforge.net/p/mtsa/code/1076/https://sourceforge.net/p/mtsa/code/1075/ivanpasquiniWed, 27 May 2015 03:26:18 -0000https://sourceforge.net/p/mtsa/code/1075/https://sourceforge.net/p/mtsa/code/1074/ivanpasquiniTue, 26 May 2015 02:23:36 -0000https://sourceforge.net/p/mtsa/code/1074/https://sourceforge.net/p/mtsa/code/1073/相澤　和也Thu, 21 May 2015 08:32:52 -0000https://sourceforge.net/p/mtsa/code/1073/https://sourceforge.net/p/mtsa/code/1072/Added a few Formulas to the Reconfigure example...Victor WjugowTue, 19 May 2015 10:18:04 -0000https://sourceforge.net/p/mtsa/code/1072/https://sourceforge.net/p/mtsa/code/1071/ivanpasquiniMon, 18 May 2015 00:00:21 -0000https://sourceforge.net/p/mtsa/code/1071/https://sourceforge.net/p/mtsa/code/1070/EclipseivanpasquiniSun, 17 May 2015 23:50:54 -0000https://sourceforge.net/p/mtsa/code/1070/https://sourceforge.net/p/mtsa/code/1069/EclipseivanpasquiniSun, 17 May 2015 23:48:54 -0000https://sourceforge.net/p/mtsa/code/1069/https://sourceforge.net/p/mtsa/code/1068/EclipseivanpasquiniSun, 17 May 2015 23:46:58 -0000https://sourceforge.net/p/mtsa/code/1068/https://sourceforge.net/p/mtsa/code/1067/Paso a pasoivanpasquiniSun, 17 May 2015 23:27:39 -0000https://sourceforge.net/p/mtsa/code/1067/https://sourceforge.net/p/mtsa/code/1066/layoutivanpasquiniSun, 17 May 2015 16:25:40 -0000https://sourceforge.net/p/mtsa/code/1066/https://sourceforge.net/p/mtsa/code/1065/Updating controllers version 3.0. This version ...Leandro NahabedianTue, 05 May 2015 22:53:08 -0000https://sourceforge.net/p/mtsa/code/1065/https://sourceforge.net/p/mtsa/bugs/14/[](Fluent) is not working wellLeandro NahabedianTue, 05 May 2015 03:26:06 -0000https://sourceforge.net/p/mtsa/bugs/14/https://sourceforge.net/p/mtsa/code/1064/ivanpasquiniMon, 04 May 2015 22:32:32 -0000https://sourceforge.net/p/mtsa/code/1064/https://sourceforge.net/p/mtsa/code/1063/running some more testsMariano CerruttiThu, 30 Apr 2015 21:45:43 -0000https://sourceforge.net/p/mtsa/code/1063/https://sourceforge.net/p/mtsa/code/1062/improving reports on the CUT(E) algorithmMariano CerruttiWed, 29 Apr 2015 20:20:47 -0000https://sourceforge.net/p/mtsa/code/1062/https://sourceforge.net/p/mtsa/code/1061/change in EventState SetListLeandro NahabedianWed, 29 Apr 2015 13:50:43 -0000https://sourceforge.net/p/mtsa/code/1061/https://sourceforge.net/p/mtsa/code/1060/Changed the Controller Update model by introduc...Victor WjugowFri, 24 Apr 2015 10:38:33 -0000https://sourceforge.net/p/mtsa/code/1060/https://sourceforge.net/p/mtsa/code/1059/reverted commit in trunkVictor WjugowFri, 24 Apr 2015 10:14:14 -0000https://sourceforge.net/p/mtsa/code/1059/https://sourceforge.net/p/mtsa/code/1058/reverted commit in trunkVictor WjugowFri, 24 Apr 2015 09:17:34 -0000https://sourceforge.net/p/mtsa/code/1058/https://sourceforge.net/p/mtsa/code/1057/Victor WjugowFri, 24 Apr 2015 08:28:37 -0000https://sourceforge.net/p/mtsa/code/1057/https://sourceforge.net/p/mtsa/code/1056/Estos jar cambiaron, por las dudas los subo.ivanpasquiniThu, 23 Apr 2015 00:08:33 -0000https://sourceforge.net/p/mtsa/code/1056/https://sourceforge.net/p/mtsa/code/1055/correcting strategy construction within opposit...Mariano CerruttiWed, 22 Apr 2015 20:03:51 -0000https://sourceforge.net/p/mtsa/code/1055/https://sourceforge.net/p/mtsa/code/1054/Changed the Controller Update model by introduc...Victor WjugowMon, 20 Apr 2015 06:12:10 -0000https://sourceforge.net/p/mtsa/code/1054/