Volgen
Dara MacConville
Dara MacConville
Maynooth University
Geverifieerd e-mailadres voor mumail.ie
Titel
Geciteerd door
Geciteerd door
Jaar
Modelling the Turtle Python library in CSP
D MacConville, M Farrell, M Luckcuck, R Monahan
arXiv preprint arXiv:2207.09706, 2022
22022
CSP2Turtle: Verified Turtle Robot Plans
D MacConville, M Farrell, M Luckcuck, R Monahan
Robotics 12 (2), 62, 2023
2023
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2