Synthesis of Robotic System Controllers Using Robotic System Specification Language

Maksym Figat, Cezary Zielinski. Synthesis of Robotic System Controllers Using Robotic System Specification Language. IEEE Robotics and Automation Letters, 8(2):688-695, 2023. [doi]

@article{FigatZ23,
  title = {Synthesis of Robotic System Controllers Using Robotic System Specification Language},
  author = {Maksym Figat and Cezary Zielinski},
  year = {2023},
  doi = {10.1109/LRA.2022.3229231},
  url = {https://doi.org/10.1109/LRA.2022.3229231},
  researchr = {https://researchr.org/publication/FigatZ23},
  cites = {0},
  citedby = {0},
  journal = {IEEE Robotics and Automation Letters},
  volume = {8},
  number = {2},
  pages = {688-695},
}