David A. Anisi
Scholar

David A. Anisi

Google Scholar ID: 2dn5yaMAAAAJ
NMBU - Norwegian University of Life Sciences, Facult of Science and Technology, Norway
AutonomyControlOptimizationRoboticsFormal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
341
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
15 total
Petter Ögren
Petter Ögren
Professor in Computer Science and Mobile Systems, KTH (division of Robotics, Perception and Learning
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Sami Haddadin
Sami Haddadin
MBZUAI