%0 Journal Article %1 journals/trob/ThomasonK23 %A Thomason, Wil %A Kress-Gazit, Hadas %D 2023 %J IEEE Trans. Robotics %K dblp %N 5 %P 4152-4165 %T Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. %U http://dblp.uni-trier.de/db/journals/trob/trob39.html#ThomasonK23 %V 39

@article{journals/trob/ThomasonK23, added-at = {2023-10-14T00:00:00.000+0200}, author = {Thomason, Wil and Kress-Gazit, Hadas}, biburl = {https://www.bibsonomy.org/bibtex/2384aa749b82671482ea19a3464781c14/dblp}, ee = {https://doi.org/10.1109/TRO.2023.3294918}, interhash = {08b569c0a4b6b8db9bc5b34d5fdb2bc3}, intrahash = {384aa749b82671482ea19a3464781c14}, journal = {IEEE Trans. Robotics}, keywords = {dblp}, month = {October}, number = 5, pages = {4152-4165}, timestamp = {2024-04-08T20:05:29.000+0200}, title = {Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.}, url = {http://dblp.uni-trier.de/db/journals/trob/trob39.html#ThomasonK23}, volume = 39, year = 2023 }