User contributions for Abadithe

15 December 2023

• 20:5420:54, 15 December 2023 diff hist 0‎ N File:Double switch.mp4 ‎No edit summary current
• 20:2620:26, 15 December 2023 diff hist 0‎ N File:Single switch.mp4 ‎No edit summary current
• 20:2420:24, 15 December 2023 diff hist +215‎ SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems ‎No edit summary
• 18:5118:51, 15 December 2023 diff hist +566‎ SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems ‎No edit summary

13 December 2023

• 19:0919:09, 13 December 2023 diff hist +121‎ SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems ‎No edit summary
• 19:0419:04, 13 December 2023 diff hist 0‎ SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems ‎ →‎Project Description
• 19:0319:03, 13 December 2023 diff hist +826‎ N SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems ‎ Created page with "'''2024 SURF Hierarchical Testing for Safety-Critical Autonomous Systems''' * Mentor: Richard Murray * Co-mentor: Apurva Badithela ==Project Description== Automatically identifying failure cases of safety-critical autonomous systems is important for mainstream deployment of these systems. A few examples of such safety-critical robotic systems is illustrated on the right. Since autonomous robotic systems are complex and their domain of operation is very l..."
• 19:0219:02, 13 December 2023 diff hist 0‎ N File:Autonomous robotic systems.png ‎No edit summary current
• 18:5518:55, 13 December 2023 diff hist +108‎ SURF 2024 ‎ →‎List of available projects

17 July 2023

• 19:0519:05, 17 July 2023 diff hist +13‎ Marta Kwiatkowska, Jul 2023 ‎ →‎Schedule

6 June 2023

• 02:2102:21, 6 June 2023 diff hist 0‎ Roee Francos, 7 Jun 2023 ‎No edit summary current

5 June 2023

• 14:4914:49, 5 June 2023 diff hist +2‎ m Roee Francos, 7 Jun 2023 ‎No edit summary

10 March 2023

• 19:1319:13, 10 March 2023 diff hist +7‎ Lars Nielsen, March 2023 ‎ →‎13 Mar (Mon)

9 March 2023

• 00:3900:39, 9 March 2023 diff hist +12‎ Lars Nielsen, March 2023 ‎ →‎13 Mar (Mon)

3 October 2022

• 16:1116:11, 3 October 2022 diff hist +22‎ Wen-Hua Chen, 4-21 Oct 2022 ‎ →‎4 Oct (Tue)

2 October 2022

• 18:2318:23, 2 October 2022 diff hist +60‎ Wen-Hua Chen, 4-21 Oct 2022 ‎ →‎4 Oct (Tue)

20 January 2022

• 03:3203:32, 20 January 2022 diff hist +18‎ SURF 2022: Specification Monitor for Testing of Autonomous Systems ‎No edit summary current

3 January 2022

• 22:5322:53, 3 January 2022 diff hist 0‎ CDS 112/Ae 103a, Winter 2022 ‎ last day

21 December 2021

• 19:5119:51, 21 December 2021 diff hist −45‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ →‎What you can expect from this SURF
• 19:5119:51, 21 December 2021 diff hist +38‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 17:2917:29, 21 December 2021 diff hist +3‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 17:0717:07, 21 December 2021 diff hist +1‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 17:0717:07, 21 December 2021 diff hist +4‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 17:0617:06, 21 December 2021 diff hist +783‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ →‎Project Description
• 16:5516:55, 21 December 2021 diff hist +1,952‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ →‎Project Description
• 16:3916:39, 21 December 2021 diff hist +556‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ →‎Project Description
• 16:2916:29, 21 December 2021 diff hist 0‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ →‎Project Description
• 16:2816:28, 21 December 2021 diff hist +207‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ →‎What you can possibly expect from this SURF
• 05:4905:49, 21 December 2021 diff hist +715‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 05:3305:33, 21 December 2021 diff hist +138‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 05:3005:30, 21 December 2021 diff hist +41‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary
• 05:2905:29, 21 December 2021 diff hist 0‎ N File:Screen Shot 2021-12-20 at 11.27.21 PM.png ‎No edit summary current
• 05:2905:29, 21 December 2021 diff hist +522‎ SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎No edit summary

20 December 2021

• 16:4616:46, 20 December 2021 diff hist +1,037‎ N SURF 2022: Evaluating Redundancy Between Test Executions for Autonomous Vehicles ‎ Created page with "2022 SURF: Evaluating Redundancy between Test Cases - Mentor: Richard Murray - Co-mentors: Apurva Badithela, Josefine Graebener ==Project Description== * Test cases of v..."

11 September 2021

• 20:2120:21, 11 September 2021 diff hist 0‎ Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications ‎No edit summary current

3 February 2020

• 04:0004:00, 3 February 2020 diff hist +64‎ Liren Yang, 5-6 Feb 2020 ‎ →‎Schedule
• 00:1800:18, 3 February 2020 diff hist +38‎ Liren Yang, 5-6 Feb 2020 ‎ →‎Schedule
• 00:1800:18, 3 February 2020 diff hist −28‎ Liren Yang, 5-6 Feb 2020 ‎ →‎Schedule

22 January 2020

• 23:5223:52, 22 January 2020 diff hist +10‎ SURF discussions, Jan 2020 ‎ →‎28 Jan (Tue)

11 December 2019

• 02:0202:02, 11 December 2019 diff hist +98‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 02:0202:02, 11 December 2019 diff hist −2‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 02:0102:01, 11 December 2019 diff hist +404‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 00:4400:44, 11 December 2019 diff hist −1‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 00:4300:43, 11 December 2019 diff hist +617‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary

10 December 2019

• 23:3723:37, 10 December 2019 diff hist +5‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 23:3423:34, 10 December 2019 diff hist −5‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 23:3323:33, 10 December 2019 diff hist 0‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 23:3323:33, 10 December 2019 diff hist 0‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 23:3223:32, 10 December 2019 diff hist −276‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary
• 23:2723:27, 10 December 2019 diff hist −27‎ SURF 2020: Test and Evaluation for Autonomy ‎No edit summary