Model based Continual Planning and Control for Assistive Robots. - Aivo Anier; Jürgo Vain (HEALTHINF, 2012)

Model based Continual Planning and Control Framework for Assistive Robots. - Aivo Anier; Jürgo Vain (PECCS, 2012)

Provably Correct Test Development for Timed Systems. - Jüri Vain; Aivo Anier; Evelin Halling (DB&IS, 2014)

Model-Based Testing of Real-Time Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS, 2016)

Automatic Distribution of Local Testers for Testing Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS (Selected Papers), 2016)