| Time | Room | Course |
|---|---|---|
| 09:30 - 11:00 | CSE102/103 |
From robot swarms to ethical robots: the challenges of verification and validation
Alan Winfield Part 1 (7.5MB) |
| 11:00 - 11:30 | CSE/Pod | Coffee break |
| 11:30 - 13:00 | CSE102/103 |
From robot swarms to ethical robots: the challenges of verification and validation
Alan Winfield Part 2 (6.7MB) |
| 13:00 - 14:00 | CSE/Pod | Lunch |
| 14:00 - 14:45 | CSE102/103 |
Selected Topics in Verification of Robots
Sandor M Veres This afternoon's programme (50KB) MCMAS & PRISM Hongyang Qu Slides (1.5MB) |
| 15:00 - 15:45 | CSE102/103 |
Verification of Control Systems on UAS
Sandor M Veres Formal verification of small and micro UAS (1.8MB) |
| 15:45 - 16:00 | CSE/Pod | Coffee break |
| 16:00 - 16:45 | CSE102/103 |
Verification of runtime reasoning on robots
Sandor M Veres Runtime verification (473KB) |
| 17:00 - 17:45 | CSE102/103 |
Pursuit-Evasion Strategies by Model Checking
Hongyang Qu Slides (2.1MB) |
| Time | Room | Course |
|---|---|---|
| 09:30 - 11:00 | RCH204 |
Why is verification and validation so crucial for the success of advanced robotics?
Anthony Pipe Slides (923MB) |
| 11:00 - 11:30 | RCH/Island of Interaction | Coffee break |
| 11:30 - 13:00 | RCH204 |
Why is verification and validation so crucial for the success of advanced robotics?
Anthony Pipe Slides (923MB) |
| 13:00 - 14:00 | RCH/Island of Interaction | Lunch |
| 14:00 - 15:30 | RCH204 |
Verifiable Autonomy - how can you trust your robots?
Michael Fisher Part I: Programming and Requirements (2.6MB) |
| 15:30 - 16:00 | RCH/Island of Interaction | Coffee break |
| 16:00 - 17:30 | RCH204 |
Verifiable Autonomy - how can you trust your robots?
Michael Fisher Part II: Verification and Application (6.6MB) |
| Time | Room | Course |
|---|---|---|
| 09:30 - 11:00 | RCH103 |
Practical Techniques for Verification and Validation of Robots
Kerstin Eder Part 1 (17.5MB) Controllers in Simulink (numerical + SMT solver verification) Dejanira Araiza-Illan Demo 1 |
| 11:00 - 11:30 | RCH104 | Coffee break |
| 11:30 - 13:00 | RCH103 |
Practical Techniques for Verification and Validation of Robots
Kerstin Eder Part 2 (9.7MB) CDV testbench in ROS-Gazebo Dejanira Araiza-Illan Demo 2 |
| 13:00 - 14:00 | RCH104 | Lunch |
| 14:00 - 15:30 | RCH103 |
Towards Verification of Domestic Autonomous Robot Assistants
Clare Dixon Part 1 (13.7MB) |
| 15:30 - 16:00 | RCH104 | Coffee break |
| 16:00 - 17:30 | RCH103 |
Towards Verification of Domestic Autonomous Robot Assistants
Clare Dixon Part 2 (1.3MB) |
| 18:30 - 20:30 | RCH/Atrium | Workshop dinner |
| Time | Room | Course |
|---|---|---|
| 9:30 - 9:50 | CSE102/103 |
RoboCalc: Software Engineering of Robots
Ana Cavalcanti Slides (358KB) |
| 9:50 - 10:10 | CSE102/103 |
RoboCalc case study
Jon Timmis |
| 10:10 - 10:50 | CSE102/103 | Short presentations by attendees Verification & Validation of Autonomous Systems - an EPSRC-funded UK research network Michael Fisher Slides (94KB) Personal Introduction / Position Statement Frank Zeyda Slides (457KB) Verification IDE for TeleoR: a cognitive robot programming language Keith Clark Rob Hierons Surrey’s interests in Robotics and Autonomous Systems Steve Schneider |
| 10:50 - 11:20 | CSE/Pod | Coffee break |
| 11:20 - 12:00 | CSE102/103 | Short presentations by attendees Verifying Resource-Bounded Agents Brian Logan Environmental Pollution Monitoring Alistair Boxall Andrew Ireland New Foundational Structure for Engineering Verified multi-UAVs Stephen Cameron Ruth Hoffman Markus Roggenbach Rob Alexander INTO-CPS Simon Foster Slides (325KB) |
| 12:00 - 13:00 | CSE/Pod | Lunch |
| 13:00 - 16:00 | CSE102/103 | Explorations for collaborations and projects |
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599
