Scholar
David A. Anisi
Google Scholar ID: 2dn5yaMAAAAJ
NMBU - Norwegian University of Life Sciences, Facult of Science and Technology, Norway
Autonomy
Control
Optimization
Robotics
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
341
H-index
8
i10-index
8
Publications
20
Co-authors
15
list available
Publications
3 items
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
2025
Cited
0
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
2025
Cited
0
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
2025
Cited
0
Co-authors
7 total
Petter Ögren
Professor in Computer Science and Mobile Systems, KTH (division of Robotics, Perception and Learning
Johan Thunberg
Associate Professor, Lund University, Sweden
Sami Haddadin
MBZUAI
Ana Cavalcanti
University of York
Kangfeng Ye
Research Associate in Computer Science, University of York
Jim Woodcock
Professor of Software Engineering, University of York
Karl H. Johansson
EECS and Digital Futures, KTH Royal Institute of Technology, Sweden
