Details
| Original language | English |
|---|---|
| Title of host publication | AAAI Proceedings |
| Pages | 10517-10524 |
| Number of pages | 8 |
| Publication status | Published - 25 Apr 2024 |
Publication series
| Name | AAAI-24 Technical Tracks |
|---|---|
| Number | 9 |
| Volume | 38 |
| ISSN (Print) | 2159-5399 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
AAAI Proceedings. 2024. p. 10517-10524 (AAAI-24 Technical Tracks; Vol. 38, No. 9).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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 -