Maria Ribeiro
From MaRDI portal
Person:2037984
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formal verification of Ethereum smart contracts using Isabelle/HOL | 2021-07-08 | Paper |
| Human-robot Interaction and Robot Control Robot Motion and Control | 2016-12-20 | Paper |
| Particle-Filter Approach for Cooperative Localization in Unstructured Scenarios Informatics in Control Automation and Robotics | 2010-06-02 | Paper |
| Semiotics and human-robot interaction Informatics in Control Automation and Robotics | 2010-06-02 | Paper |
| Q-Learning with Linear Function Approximation Learning Theory | 2008-01-03 | Paper |
| LD/sup 2/-ARMA identification algorithm IEEE Transactions on Signal Processing | 1991-01-01 | Paper |
Research outcomes over time
This page was built for person: Maria Ribeiro
