%0 Conference Paper %1 conf/icaps/ChrpaK24 %A Chrpa, Lukás %A Karpas, Erez %B ICAPS %D 2024 %E Bernardini, Sara %E Muise, Christian %I AAAI Press %K dblp %P 86-94 %T On Verifying Linear Execution Strategies in Planning Against Nature. %U http://dblp.uni-trier.de/db/conf/icaps/icaps2024.html#ChrpaK24

@inproceedings{conf/icaps/ChrpaK24, added-at = {2024-06-03T00:00:00.000+0200}, author = {Chrpa, Lukás and Karpas, Erez}, biburl = {https://www.bibsonomy.org/bibtex/2fe58a5bd207ada5014e7272e9e6cef67/dblp}, booktitle = {ICAPS}, crossref = {conf/icaps/2024}, editor = {Bernardini, Sara and Muise, Christian}, ee = {https://doi.org/10.1609/icaps.v34i1.31464}, interhash = {814831176feb333883ec32104df2a430}, intrahash = {fe58a5bd207ada5014e7272e9e6cef67}, keywords = {dblp}, pages = {86-94}, publisher = {AAAI Press}, timestamp = {2024-06-10T07:17:18.000+0200}, title = {On Verifying Linear Execution Strategies in Planning Against Nature.}, url = {http://dblp.uni-trier.de/db/conf/icaps/icaps2024.html#ChrpaK24}, year = 2024 }