%0 Journal Article %1 journals/corr/abs-2105-06537 %A Thomason, Wil %A Kress-Gazit, Hadas %D 2021 %J CoRR %K dblp %T Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. %U http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-06537 %V abs/2105.06537

@article{journals/corr/abs-2105-06537, added-at = {2021-05-18T00:00:00.000+0200}, author = {Thomason, Wil and Kress-Gazit, Hadas}, biburl = {https://www.bibsonomy.org/bibtex/272bc2ff5a73b25ca8258e7fe46bbf469/dblp}, ee = {https://arxiv.org/abs/2105.06537}, interhash = {2250a1176db706ec76f7220b382c192d}, intrahash = {72bc2ff5a73b25ca8258e7fe46bbf469}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:07:02.000+0200}, title = {Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-06537}, volume = {abs/2105.06537}, year = 2021 }