Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | AAAI Proceedings |
| Seiten | 10517-10524 |
| Seitenumfang | 8 |
| Publikationsstatus | Veröffentlicht - 25 Apr. 2024 |
Publikationsreihe
| Name | AAAI-24 Technical Tracks |
|---|---|
| Nummer | 9 |
| Band | 38 |
| ISSN (Print) | 2159-5399 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
AAAI Proceedings. 2024. S. 10517-10524 (AAAI-24 Technical Tracks; Band 38, Nr. 9).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Submodel Enumeration for CTL Is Hard
AU - Fröhlich, Nicolas
AU - Meier, Arne
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2024/4/25
Y1 - 2024/4/25
U2 - 10.48550/arXiv.2312.09868
DO - 10.48550/arXiv.2312.09868
M3 - Conference contribution
SN - 978-1-57735-887-9
T3 - AAAI-24 Technical Tracks
SP - 10517
EP - 10524
BT - AAAI Proceedings
ER -