RAS2015 consists of a virtual box for use with VirtualBox (https://www.virtualbox.org) and Vagrant (https://www.vagrantup.com).

Initialise and start the box as described in the vagrant and VirtualBox documentation and then log into the VM using ssh.

--

The following readme is included in the VM.

This is a recomputation VM for the paper Formal Verification of
Ethical Choices in Autonomous Systems by Louise Dennis, Michael
Fisher, Marija Slavkovik and Matt Webster, Robotics and Autonomous
Systems, Volume 77, March 2016, Pages 1-14, doi:10.1016/j.robot.2015.11.012

Three sets of experiments are described in the paper:
  a) Brake failure during line up
  b) Erratic intruder aircraft
  c) Fuel low

Shell scripts for running the individual experiments can be found in
  experiments/lineup
  experiments/erratic_intruder
  experiments/fuel_low

So, for instance, the first fuel low example can be run by calling

  experiments/fuel_low/fuel_low1.sh

The script experiments.sh will run all 12 experiments but it should be
noted that the experiments in lineup each take in the region of a day
to complete.