{
  "$type": "site.standard.document",
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreic4hd3at73o6yzi4z7wcuul5lsfewfu2ntoz4yicgpiav4tjpj4da"
    },
    "mimeType": "image/png",
    "size": 127203
  },
  "description": "A safety rule generation device includes: a processor; and a memory connected to the processor, wherein the processor is configured to: receive input of a plurality of control flows indicating state transitions of a plurality of moving bodies, respectively, the moving bodies operating in a…",
  "path": "/patents/1379310",
  "publishedAt": "2026-03-12T00:00:00.000Z",
  "site": "at://did:plc:oql6ds5vnff4ugar6rruliwd/site.standard.publication/3mn3ohu7oxx5w",
  "tags": [
    "B60W60/0015",
    "INTER-UNIVERSITY RESEARCH INSTITUTE CORPORATION RESEARCH ORGANIZATION OF INFORMATION AND SYSTEMS"
  ],
  "textContent": "A safety rule generation device includes: a processor; and a memory connected to the processor, wherein the processor is configured to: receive input of a plurality of control flows indicating state transitions of a plurality of moving bodies, respectively, the moving bodies operating in a predetermined scenario; generate an integrated control flow in which the plurality of control flows are integrated based on transition conditions assigned to the control flows; assign logical expression constraints that guarantee safety, to respective states included in the integrated control flow; and generate a safety rule based on the logical expression constraints.",
  "title": "SAFETY RULE GENERATION DEVICE, MOVING BODY, AUTONOMOUS DRIVING SYSTEM, SAFETY RULE GENERATION METHOD, AND NON-TRANSITORY COMPUTER-READABLE RECORDING MEDIUM STORING PROGRAM"
}