User contributions for Murray

19 January 2023

• 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..."

6 January 2023

• 19:3519:35, 6 January 2023 diff hist +42‎ CDS 112/Ae 103b, Winter 2023 ‎No edit summary
• 06:5106:51, 6 January 2023 diff hist −2‎ CDS 112/Ae 103b, Winter 2023 ‎ →‎Lecture Schedule
• 06:5106:51, 6 January 2023 diff hist +52‎ CDS 112/Ae 103b, Winter 2023 ‎ →‎Lecture Schedule
• 06:5006:50, 6 January 2023 diff hist −9‎ CDS 112/Ae 103b, Winter 2023 ‎ →‎Lecture Schedule

4 January 2023

• 05:1005:10, 4 January 2023 diff hist −1‎ Group Schedule, Winter 2023 ‎ →‎Week 6: 6-10 Feb
• 05:1005:10, 4 January 2023 diff hist +1‎ Group Schedule, Winter 2023 ‎ →‎Week 4: 23-27 Jan
• 01:3901:39, 4 January 2023 diff hist −27‎ CDS 112/Ae 103b, Winter 2023 ‎ →‎Lecture Schedule

2 January 2023

• 06:2206:22, 2 January 2023 diff hist +71‎ CDS 112/Ae 103b, Winter 2023 ‎ →‎Course Text and References
• 02:0502:05, 2 January 2023 diff hist 0‎ Group Schedule, Winter 2023 ‎No edit summary

1 January 2023

• 22:1822:18, 1 January 2023 diff hist +85‎ Group Schedule, Winter 2023 ‎ →‎Week 1: 2-6 Jan
• 22:1322:13, 1 January 2023 diff hist +85‎ Group Schedule, Winter 2023 ‎ →‎Week 1: 2-6 Jan

30 December 2022

• 21:3621:36, 30 December 2022 diff hist +21‎ Undergraduate alumni ‎No edit summary
• 21:3521:35, 30 December 2022 diff hist +79‎ Main Page ‎ →‎Former graduate students:
• 21:3421:34, 30 December 2022 diff hist −109‎ Main Page ‎ →‎Group
• 20:4020:40, 30 December 2022 diff hist +1‎ Courses ‎ →‎Course homepages
• 20:3920:39, 30 December 2022 diff hist +13‎ Courses ‎ →‎Course homepages

29 December 2022

• 20:4920:49, 29 December 2022 diff hist 0‎ Group Schedule, Winter 2023 ‎No edit summary
• 20:2520:25, 29 December 2022 diff hist +14‎ Group Schedule, Winter 2023 ‎No edit summary
• 20:2320:23, 29 December 2022 diff hist 0‎ m Group Schedule, Winter 2023 ‎ →‎Week 1: 2-6 Jan