Submodel Enumeration for CTL Is Hard

AAAI 2024 pp. 10517-10524

doi:10.1609/AAAI.V38I9.28921 /aaai/2024/frohlich2024aaai-submodel/

Cite

Text

Fröhlich and Meier. "Submodel Enumeration for CTL Is Hard." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I9.28921

Markdown

[Fröhlich and Meier. "Submodel Enumeration for CTL Is Hard." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/frohlich2024aaai-submodel/) doi:10.1609/AAAI.V38I9.28921

BibTeX

@inproceedings{frohlich2024aaai-submodel,
  title     = {{Submodel Enumeration for CTL Is Hard}},
  author    = {Fröhlich, Nicolas and Meier, Arne},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {10517-10524},
  doi       = {10.1609/AAAI.V38I9.28921},
  url       = {https://mlanthology.org/aaai/2024/frohlich2024aaai-submodel/}
}