At VRAIN, research in planning and reasoning addresses automated planning, scheduling, and optimisation, with applications ranging from urban mobility simulation to software testing automation and business process management.

Tools developed in this area include SimFleet, a platform for the simulation and evaluation of urban mobility models; TESTAR, for automated software testing at the graphical interface level; and GREAT Process Modeller, a reengineering environment with automatic transformations for business process optimisation. UTool provides additional support for planning and scheduling tasks across diverse application domains.