Rahmani, Hazhar; Shell, Dylan A.; O’Kane, Jason M. Planning to chronicle. (English) Zbl 1469.68132 Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 277-293 (2021). MSC: 68T40 68T20 PDFBibTeX XMLCite \textit{H. Rahmani} et al., Springer Proc. Adv. Robot. 17, 277--293 (2021; Zbl 1469.68132) Full Text: DOI arXiv
Pous, Damien; Rot, Jurriaan Companions, codensity and causality. (English) Zbl 1442.68149 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 106-123 (2017). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDFBibTeX XMLCite \textit{D. Pous} and \textit{J. Rot}, Lect. Notes Comput. Sci. 10203, 106--123 (2017; Zbl 1442.68149) Full Text: DOI Link