Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Greg Chance

Greg Chance
Alert button

AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms


Feb 20, 2023
Dhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder

Add code
Alert button

Figure 1 for AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Figure 2 for AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Figure 3 for AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Figure 4 for AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
* 12 pages, 11 figures 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Specifying for Trustworthiness


Jun 22, 2022
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder

Add code
Alert button

Figure 1 for On Specifying for Trustworthiness
Figure 2 for On Specifying for Trustworthiness
* 12 pages, 2 figures 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification


Apr 29, 2021
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Severin Lemaignan, Tony Pipe, Kerstin Eder

Add code
Alert button

Figure 1 for On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Figure 2 for On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Figure 3 for On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Figure 4 for On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
* 17 pages, 8 figures, 1 table 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)


Jul 03, 2020
Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou

Add code
Alert button

Figure 1 for CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
Figure 2 for CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
* 7 pages, extended abstract 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email