Safe Receding Horizon Control of an Aerial Vehicle. - David A. Anisi; Petter Ögren; John W. C. Robinson (CDC, 2006)

Cooperative surveillancemissionswith multiple unmanned ground vehicles (UGVs). - David A. Anisi; Petter Ögren; Xiaoming Hu 001; Therese Lindskog (CDC, 2008)

Algorithms for the Connectivity Constrained Unmanned Ground Vehicle Surveillance Problem. - David A. Anisi; Therese Lindskog; Petter Ögren (ECC, 2009)

Robot automation in oil and gas facilities: Indoor and onsite demonstrations. - David A. Anisi; Johan Gunnar; Tommy Lillehagen; Charlotte Skourup (IROS, 2010)

Cooperative Minimum Time Surveillance With Multiple Ground Vehicles. - David A. Anisi; Petter Ögren; Xiaoming Hu 001 (IEEE Trans. Autom. Control., 2010)

Real-world demonstration of sensor-based robotic automation in oil & gas facilities. - David A. Anisi; Erik Persson; Clint Heyer (IROS, 2011)

Obstacle Detection in an Unstructured Industrial Robotic System: Comparison of Hidden Markov Model and Expert System. - Knut B. Kaldestad; Geir Hovland; David A. Anisi (SyRoCo, 2012)

Collision avoidance with potential fields based on parallel processing of 3D-point cloud data on the GPU. - Knut B. Kaldestad; Sami Haddadin; Rico Belder; Geir Hovland; David A. Anisi (ICRA, 2014)

State classification for autonomous gas sample taking using deep convolutional neural networks. - David A. Anisi; Svein Gjermund Tveide; Valentinos Kongezos (MED, 2017)

A predictive learning approach to optimal load sharing in energy management systems. - Elene M. Espeland; Byung K. Jung; David A. Anisi (ECC, 2019)

Survey of Formal Verification Methods for Smart Contracts on Blockchain. - Yvonne Murray; David A. Anisi (NTMS, 2019)

Safety Assurance of a High Voltage Controller for an Industrial Robotic System. - Yvonne Murray; David A. Anisi; Martin Sirevåg; Pedro Ribeiro 002; Rabah Saleh Hagag (SBMF, 2020)

Safety assurance of an industrial robotic control system using hardware/software co-verification. - Yvonne Murray; Martin Sirevåg; Pedro Ribeiro 002; David A. Anisi; Morten Mossige (Sci. Comput. Program., 2022)

Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. - Mustafa Adam; Kangfeng Ye; David A. Anisi; Ana Cavalcanti 001; Jim Woodcock 001; Robert Morris (CASE, 2023)

Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification. - Mustafa Adam; Elias E. Hartmark; Tage Andersen; David A. Anisi; Ana Cavalcanti 001 (CASE, 2024)

Model Checking and Verification of Synchronisation Properties of Cobot Welding. - Yvonne Murray; Henrik Nordlie; David A. Anisi; Pedro Ribeiro 002; Ana Cavalcanti 001 (FMAS@iFM, 2024)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems. - Mustafa Adam; David A. Anisi; Pedro Ribeiro (CoRR, 2025)