Guiding Autonomous Exploration With Signal Temporal Logic

Fernando S. Barbosa, Daniel Duberg, Patric Jensfelt, Jana Tumova. Guiding Autonomous Exploration With Signal Temporal Logic. IEEE Robotics and Automation Letters, 4(4):3332-3339, 2019. [doi]

@article{BarbosaDJT19,
  title = {Guiding Autonomous Exploration With Signal Temporal Logic},
  author = {Fernando S. Barbosa and Daniel Duberg and Patric Jensfelt and Jana Tumova},
  year = {2019},
  doi = {10.1109/LRA.2019.2926669},
  url = {https://doi.org/10.1109/LRA.2019.2926669},
  researchr = {https://researchr.org/publication/BarbosaDJT19},
  cites = {0},
  citedby = {0},
  journal = {IEEE Robotics and Automation Letters},
  volume = {4},
  number = {4},
  pages = {3332-3339},
}