مؤتمر
Expanding the Horizon of Linear Temporal Logic Inference for Explainability
| العنوان: | Expanding the Horizon of Linear Temporal Logic Inference for Explainability |
|---|---|
| المؤلفون: | Neider, Daniel, Roy, Rajarshi |
| المصدر: | 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2022 IEEE 30th. :103-107 Aug, 2022 |
| Relation: | 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781665460002 |
|---|---|
| تدمد: | 27706834 |
| DOI: | 10.1109/REW56159.2022.00026 |