مؤتمر
Reactive Synthesis Modulo Theories using Abstraction Refinement
العنوان: | Reactive Synthesis Modulo Theories using Abstraction Refinement |
---|---|
المؤلفون: | Maderbacher, Benedikt, Bloem, Roderick |
المصدر: | 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :315-324 Oct, 2022 |
Relation: | 2022 Formal Methods in Computer-Aided Design (FMCAD) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9783854480532 |
---|---|
تدمد: | 27087824 |
DOI: | 10.34727/2022/isbn.978-3-85448-053-2_38 |