Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
Par David Millard explore l'estimation des paramètres des objets déformables dans les tâches de manipulation robotique, en se concentrant sur les défis et les solutions dans le traitement de la dynamique complexe et en utilisant des techniques d'éléments finis.
