{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "Organization",
      "@id": "https://www.verifiablerobotics.com/#organization",
      "name": "verifiablerobotics.com",
      "url": "https://www.verifiablerobotics.com/",
      "description": "Skip to content Primary Menu Home Research Publications People News Home Our Reseach How can we interact with physical systems, in particular robots , at a high level? How can we formalize high-level goals in a user-friendly way? How can we automatically create controllers for such systems and how can we guarantee these systems will behave correctly?"
    },
    {
      "@type": "WebPage",
      "@id": "https://directory.websdocs.com/business/verifiablerobotics-com#asg",
      "name": "verifiablerobotics.com ASG Directory Profile",
      "url": "https://directory.websdocs.com/business/verifiablerobotics-com",
      "isPartOf": {
        "@id": "https://www.verifiablerobotics.com/#organization"
      },
      "description": "Public business information published by the WebsDocs ASG Directory."
    }
  ]
}