| dc.contributor | 資管系 | |
| dc.creator (作者) | 洪智鐸 | |
| dc.creator (作者) | Hong, Chih-Duo;Markgraf, Oliver;Lin, Anthony W.;Najib, Muhammad;Neider, Daniel | |
| dc.date (日期) | 2020-11 | |
| dc.date.accessioned | 26-Sep-2023 15:31:29 (UTC+8) | - |
| dc.date.available | 26-Sep-2023 15:31:29 (UTC+8) | - |
| dc.date.issued (上傳時間) | 26-Sep-2023 15:31:29 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/147693 | - |
| dc.format.extent | 108 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020), Kyushu University | |
| dc.subject (關鍵詞) | Parameterized systems; Reactive synthesis; Machine learning; Angluin’s algorithm; Regular model checking | |
| dc.title (題名) | Parameterized Synthesis with Safety Properties | |
| dc.type (資料類型) | conference | |
| dc.identifier.doi (DOI) | 10.1007/978-3-030-64437-6_14 | |
| dc.doi.uri (DOI) | https://doi.org/10.1007/978-3-030-64437-6_14 | |
