Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis

Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi. Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics and Automation Letters, 4(2):285-292, 2019. [doi]

@article{HeLKV19,
  title = {Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis},
  author = {Keliang He and Morteza Lahijanian and Lydia E. Kavraki and Moshe Y. Vardi},
  year = {2019},
  doi = {10.1109/LRA.2018.2889191},
  url = {https://doi.org/10.1109/LRA.2018.2889191},
  researchr = {https://researchr.org/publication/HeLKV19},
  cites = {0},
  citedby = {0},
  journal = {IEEE Robotics and Automation Letters},
  volume = {4},
  number = {2},
  pages = {285-292},
}