Formal Methods for Autonomous Systems
Diana Carolina Benjumea Hernandez
dianabenjumea
PhD Computer Science Student
The University of Manchester Manchester, UK
Mengwei Xu
Mengwei-Xu
My research includes intelligent autonomous system(especially Belief Desire Intention BDI agents); decision making under uncertainty; formal methods.
University of Newcastle
