User contributions
From Murray Wiki
Jump to navigationJump to search- 03:35, 10 February 2020 diff hist +34 Sarah Dean, 11-12 Feb 2020 →Wednesday (12 Feb)
- 21:04, 7 February 2020 diff hist +3 Sarah Dean, 11-12 Feb 2020 →Wednesday (12 Feb)
- 04:48, 6 February 2020 diff hist 0 Liren Yang, 5-6 Feb 2020 →Schedule current
- 04:28, 3 February 2020 diff hist +3 Liren Yang, 5-6 Feb 2020 →Schedule
- 23:30, 8 December 2019 diff hist +3 Eric Wolff, 11 Dec 2019
- 01:37, 16 October 2019 diff hist +25 Sandeep Chichali, 16 Oct 2019 →Schedule current
- 19:05, 17 September 2018 diff hist -19 Daniel Fremont, Sep 2018 →Agenda
- 18:31, 30 April 2018 diff hist -2 Group Schedule, Spring 2018 →Week 7: 14-18 May
- 18:31, 30 April 2018 diff hist +2 Group Schedule, Spring 2018 →Week 6: 7-11 May
- 05:38, 17 April 2018 diff hist +10 Ben Richards, 20 Apr 2018
- 05:37, 17 April 2018 diff hist +3 Ben Richards, 20 Apr 2018
- 21:54, 3 October 2017 diff hist -9 Karan Kalsi, Oct 2017 →4 Oct (Wed) current
- 21:54, 3 October 2017 diff hist -4 Karan Kalsi, Oct 2017 →4 Oct (Wed)
- 21:54, 3 October 2017 diff hist +13 Karan Kalsi, Oct 2017 →4 Oct (Wed)
- 21:42, 11 September 2017 diff hist -1 Group Schedule, Fall 2017 →Week 10: 27 Nov - 1 Dec
- 21:42, 11 September 2017 diff hist 0 Group Schedule, Fall 2017 →Week 10: 27 Nov - 1 Dec
- 21:22, 8 May 2017 diff hist -9 May 2017 meeting schedule →29 May (Mon)
- 21:21, 8 May 2017 diff hist -3 May 2017 meeting schedule →15 May (Mon)
- 18:36, 8 May 2017 diff hist +3 May 2017 meeting schedule →15 May (Mon)
- 20:17, 12 April 2017 diff hist 0 Apr 2017 meeting schedule →23 Apr (Sun)
- 18:20, 12 April 2017 diff hist +3 Apr 2017 meeting schedule →23 Apr (Sun)
- 23:14, 27 February 2017 diff hist -13 Mar 2017 meeting schedule →3 Mar (Fri)
- 23:13, 27 February 2017 diff hist +13 Mar 2017 meeting schedule →5 Mar (Sun)
- 23:02, 26 February 2017 diff hist +13 Mar 2017 meeting schedule →3 Mar (Fri)
- 23:02, 26 February 2017 diff hist -13 Mar 2017 meeting schedule →5 Mar (Sun)
- 22:29, 26 February 2017 diff hist +13 Mar 2017 meeting schedule →5 Mar (Sun)
- 01:21, 25 January 2017 diff hist 0 SURF discussions, Jan 2017 →27 Jan (Fri)
- 01:20, 25 January 2017 diff hist +13 SURF discussions, Jan 2017 →27 Jan (Fri)
- 17:09, 13 January 2017 diff hist +13 Jan 2017 meeting schedule →20 Jan (Fri)
- 09:14, 21 December 2016 diff hist -23 SURF 2017 →List of available projects
- 09:14, 21 December 2016 diff hist -16 SURF 2017 →List of available projects
- 06:38, 21 December 2016 diff hist +11 SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications current
- 06:37, 21 December 2016 diff hist +3 SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications →References
- 06:37, 21 December 2016 diff hist +4,775 N SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications Created page with "'''2017 SURF project description''' * Mentor: Richard M. Murray * Co-mentors: Sumanth Dathathri Several interesting problems are presented below and it is desir..."
- 05:51, 21 December 2016 diff hist +234 SURF 2017 →List of available projects
- 12:19, 30 November 2016 diff hist +17 N User:Sdathath Created page with "Sumanth Dathathri" current
- 04:50, 6 November 2016 diff hist +3 Nov 2016 meeting schedule →15 Nov (Tue)
- 03:22, 29 September 2016 diff hist -3 Sep/Oct 2016 meeting schedule →2 Oct (Sun) current
- 03:22, 29 September 2016 diff hist +3 Sep/Oct 2016 meeting schedule →30 Sep (Fri)
- 23:42, 22 September 2016 diff hist +3 Sep/Oct 2016 meeting schedule →2 Oct (Sun)
- 17:33, 13 June 2016 diff hist +61 Sergei Avedisov, June 2016 →Schedule current
- 23:16, 10 June 2016 diff hist +2 Sergei Avedisov, June 2016 →Schedule
- 00:36, 17 February 2016 diff hist +12 Group Schedule, Winter 2016 →Week 11: 14 Mar - 18 Mar
- 20:08, 27 January 2016 diff hist +13 Group Schedule, Winter 2016 →Week 9: 29 Feb - 4 Mar
- 20:05, 24 January 2016 diff hist +12 Research meetings, Jan/Feb 2016 →7 Feb 2016 (Sun)
