User contributions for Murray
From Murray Wiki
Jump to navigationJump to search
29 January 2023
- 22:0822:08, 29 January 2023 diff hist +31 Main Page →Group
- 16:5416:54, 29 January 2023 diff hist +75 CDS 112/Ae 103b, Winter 2023 No edit summary
- 16:5116:51, 29 January 2023 diff hist +9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 16:5016:50, 29 January 2023 diff hist −1 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 06:4306:43, 29 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
26 January 2023
- 23:1823:18, 26 January 2023 diff hist +228 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 06:4306:43, 26 January 2023 diff hist +93 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 02:5502:55, 26 January 2023 diff hist 0 SURF discussions, Feb 2023 →6 Feb (Mon)
- 02:5502:55, 26 January 2023 diff hist 0 SURF discussions, Feb 2023 →7 Feb (Tue)
25 January 2023
- 22:0422:04, 25 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule Tag: Manual revert
- 07:3307:33, 25 January 2023 diff hist +9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule Tag: Reverted
- 07:3207:32, 25 January 2023 diff hist −167 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
24 January 2023
22 January 2023
- 19:2919:29, 22 January 2023 diff hist +1,415 N SURF discussions, Feb 2023 Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our conversation, please do the following: * SURF students should work with their co-mentors to find a time the meeting/Zoom call. (For Zoom calls, co-mentors should initiate.) * Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the pro..."
- 16:3516:35, 22 January 2023 diff hist −14 Paul Freemont, January 2023 →Tuesday
- 16:3416:34, 22 January 2023 diff hist +56 Paul Freemont, January 2023 →Monday
20 January 2023
- 17:0917:09, 20 January 2023 diff hist +3 Group Schedule, Winter 2023 →Week 6: 6-10 Feb
- 15:5115:51, 20 January 2023 diff hist +7 Paul Freemont, January 2023 →Monday
19 January 2023
- 20:5720:57, 19 January 2023 diff hist 0 Paul Freemont, January 2023 No edit summary
- 20:3620:36, 19 January 2023 diff hist +285 Paul Freemont, January 2023 No edit summary
- 05:1205:12, 19 January 2023 diff hist −11 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 05:1205:12, 19 January 2023 diff hist −1 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 05:1105:11, 19 January 2023 diff hist +78 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:2603:26, 19 January 2023 diff hist −1 m CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:2403:24, 19 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
17 January 2023
- 03:1703:17, 17 January 2023 diff hist +1 m CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:1603:16, 17 January 2023 diff hist +70 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:1503:15, 17 January 2023 diff hist −28 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 03:1503:15, 17 January 2023 diff hist +1 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
16 January 2023
- 21:4321:43, 16 January 2023 diff hist +40 Paul Freemont, January 2023 →Tuesday
- 21:4221:42, 16 January 2023 diff hist +3 Paul Freemont, January 2023 →Monday
- 17:4117:41, 16 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
15 January 2023
- 22:4322:43, 15 January 2023 diff hist +30 Paul Freemont, January 2023 →Friday
- 22:4322:43, 15 January 2023 diff hist +72 Paul Freemont, January 2023 →Thursday
- 22:4222:42, 15 January 2023 diff hist +20 Paul Freemont, January 2023 →Friday
- 22:4022:40, 15 January 2023 diff hist 0 Paul Freemont, January 2023 →Tuesday
- 22:3922:39, 15 January 2023 diff hist +16 Paul Freemont, January 2023 →Tuesday
- 22:3722:37, 15 January 2023 diff hist +8 Paul Freemont, January 2023 No edit summary
- 22:3722:37, 15 January 2023 diff hist +10 Paul Freemont, January 2023 No edit summary
- 22:3722:37, 15 January 2023 diff hist +751 N Paul Freemont, January 2023 Created page with "Paul Freemont will visiting Caltech on 23-27 January. Sign up for times to meet with Paul here: == Monday == * 9:30 am: Richard Murray, 109 Steele Lab * 10 am: Cell-free discussion #1, 111 Keck * 11:45 am: Lunch at the Ath with students/postdocs * 1:00 pm: Open * 5:30 pm: Done for the day == Tuesday == * 9 am: EBRC PI&E meeting (Zoom) * 10 am: open * 10:45 am: Cell-free discussion #2, 111 Keck * 12:30 pm: Lunch at the Ath with Richard, Elisa Franco * 3:45 pm: Cell-fre..."
- 06:1606:16, 15 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
12 January 2023
- 05:2605:26, 12 January 2023 diff hist +89 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 05:2505:25, 12 January 2023 diff hist −9 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
11 January 2023
- 19:3519:35, 11 January 2023 diff hist +3 Group Schedule, Winter 2023 →Week 3: 16-20 Jan
- 19:3519:35, 11 January 2023 diff hist +18 Group Schedule, Winter 2023 →Week 2: 9-13 Jan
8 January 2023
- 21:4821:48, 8 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
- 21:4821:48, 8 January 2023 diff hist 0 CDS 112/Ae 103b, Winter 2023 →Lecture Schedule
7 January 2023
- 17:1017:10, 7 January 2023 diff hist +1 m Reasoning over Test Specifications using Assume-Guarantee Contracts No edit summary current
- 17:1017:10, 7 January 2023 diff hist +5 Reasoning over Test Specifications using Assume-Guarantee Contracts No edit summary
- 17:0717:07, 7 January 2023 diff hist +1,507 N Reasoning over Test Specifications using Assume-Guarantee Contracts Created page with "{{Paper |Title=Reasoning over Test Specifications using Assume-Guarantee Contracts |Authors=Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray |Source=Submitted, NASA Formal Methods (NFM), 2023 |Abstract=We establish a framework to reason about test campaigns described formally. First, we introduce the notion of a test structure — an object that carries i) the formal specifications of the system under test, and ii) the test objective, which is..."
