date: 2024-06-17T08:36:00Z pdf:unmappedUnicodeCharsPerPage: 0 pdf:PDFVersion: 1.7 pdf:docinfo:title: Contract-Based Distributed Logical Controller Synthesis xmp:CreatorTool: LaTeX with acmart 2024/04/03 v2.05 Typesetting articles for the Association for Computing Machinery and hyperref 2023-02-07 v7.00v Hypertext links for LaTeX access_permission:modify_annotations: true access_permission:can_print_degraded: true subject: language: en dcterms:created: 2024-04-10T15:30:44Z Last-Modified: 2024-06-17T08:36:00Z dcterms:modified: 2024-06-17T08:36:00Z dc:format: application/pdf; version=1.7 title: Contract-Based Distributed Logical Controller Synthesis Last-Save-Date: 2024-06-17T08:36:00Z pdf:docinfo:creator_tool: LaTeX with acmart 2024/04/03 v2.05 Typesetting articles for the Association for Computing Machinery and hyperref 2023-02-07 v7.00v Hypertext links for LaTeX access_permission:fill_in_form: true pdf:docinfo:modified: 2024-06-17T08:36:00Z meta:save-date: 2024-06-17T08:36:00Z pdf:encrypted: false dc:title: Contract-Based Distributed Logical Controller Synthesis pdf:docinfo:custom:PTEX.Fullbanner: This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) kpathsea version 6.3.5 modified: 2024-06-17T08:36:00Z cp:subject: pdf:docinfo:subject: Content-Type: application/pdf PTEX.Fullbanner: This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) kpathsea version 6.3.5 X-Parsed-By: org.apache.tika.parser.DefaultParser dc:language: en trapped: False meta:creation-date: 2024-04-10T15:30:44Z created: 2024-04-10T15:30:44Z access_permission:extract_for_accessibility: true access_permission:assemble_document: true xmpTPg:NPages: 11 Creation-Date: 2024-04-10T15:30:44Z pdf:charsPerPage: 5127 access_permission:extract_content: true access_permission:can_print: true pdf:docinfo:trapped: False producer: pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) kpathsea version 6.3.5; modified using iText 4.2.0 by 1T3XT access_permission:can_modify: true pdf:docinfo:producer: pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) kpathsea version 6.3.5; modified using iText 4.2.0 by 1T3XT pdf:docinfo:created: 2024-04-10T15:30:44Z