examples.json

{
  "examples": [
    {
      "name": "Case Study: Three Tank",
      "git": "https:\/\/github.com\/into-cps\/case-study_three_tank.git"
    },
    {
      "name": "Case Study: UAV Swarm",
      "git": "https:\/\/github.com\/into-cps\/case-study_uav_swarm.git"
    },
  ]
}