1 software-formal-method-phd "Australian National University" positions

INSPIRE - INternal SImulation for adaPtive human–Robot Engagement

IMT Atlantique | Brest, Bretagne | France | 4 days ago

: Cédric BUCHE (IMT Atlantique) & Katherine DANIELL (ANU) Thesis in joint supervision with The Australian National University 1.Description Contribution: internal simulations How can robots exhibit