User contributions
From MurrayWiki
- 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))