Reason Logically, Move Continuously. Gatti, A. In Ferrando, A. & Cardoso, R. C., editors, Agents and Robots for reliable Engineered Autonomy - 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings, volume 2230, of Communications in Computer and Information Science, pages 115–127, 2024. Springer.
Reason Logically, Move Continuously [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/area/000224,
  author       = {Andrea Gatti},
  editor       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  title        = {Reason Logically, Move Continuously},
  booktitle    = {Agents and Robots for reliable Engineered Autonomy - 4th Workshop,
                  {AREA} 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {2230},
  pages        = {115--127},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-73180-8\_8},
  doi          = {10.1007/978-3-031-73180-8\_8},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/area/000224.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0