Owen McAree

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 8

Top Topics

Autonomous Systems

Formal Verification

Situation Aware

Top Venues

Sci. Comput. Program.

Publications

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148 (2017)
Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor M. Veres, Michael Fisher
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS (2016)
Owen McAree, Sandor M. Veres
Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication. ECC (2016)
Sandor M. Veres, Owen McAree, Jonathan M. Aitken
Towards formal verification of small and micro UAS. ECC (2016)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal Verification of Autonomous Vehicle Platooning. CoRR (2016)
James Law, Jonathan M. Aitken, Luke Boorman, David Cameron, Adriel Chua, Emily C. Collins, Samuel Fernando, Uriel Martinez-Hernandez, Owen McAree
ROBO-GUIDE: Towards Safe, Reliable, Trustworthy, and Natural Behaviours in Robotic Assistants. TAROS (2015)
Owen McAree, Jonathan M. Aitken, Luke W. Boorman, David Cameron, Adriel Chua, Emily C. Collins, Samuel Fernando, James Law, Uriel Martinez-Hernandez
Floor determination in the operation of a lift by a mobile guide robot. ECMR (2015)
David Cameron, Emily C. Collins, Adriel Chua, Samuel Fernando, Owen McAree, Uriel Martinez-Hernandez, Jonathan M. Aitken, Luke Boorman, James Law
Help! I Can't Reach the Buttons: Facilitating Helping Behaviors Towards Robots. Living Machines (2015)
Owen McAree, Wen-Hua Chen
Artificial Situation Awareness for Increased Autonomy of Unmanned Aerial Systems in the Terminal Area. J. Intell. Robotic Syst. 70 (1-4) (2013)