Dara MacConville

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Robot Navigation

Constraint Satisfaction Problems

Decomposition Methods

Constraint Propagation

Top Venues

AREA@IJCAI-ECAI

Publications

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
CSP2Turtle: Verified Turtle Robot Plans. Robotics 12 (2) (2023)
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
Modelling the Turtle Python library in CSP. AREA@IJCAI-ECAI (2022)