%0 Conference Paper %1 conf/aaai/FrohlichM24 %A Fröhlich, Nicolas %A Meier, Arne %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 10517-10524 %T Submodel Enumeration for CTL Is Hard. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#FrohlichM24

@inproceedings{conf/aaai/FrohlichM24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Fröhlich, Nicolas and Meier, Arne}, biburl = {https://www.bibsonomy.org/bibtex/2b470d8079ed7c78571c8821bb5b59fae/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i9.28921}, interhash = {c5f81719b67210e8c26dc777e9bc3e84}, intrahash = {b470d8079ed7c78571c8821bb5b59fae}, keywords = {dblp}, pages = {10517-10524}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {Submodel Enumeration for CTL Is Hard.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#FrohlichM24}, year = 2024 }