Maria Ribeiro
From MaRDI portal
Person:2037984
Available identifiers
zbMath Open ribeiro.maria-isabelMaRDI QIDQ2037984
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 | 2016-12-20 | Paper |
| Particle-Filter Approach for Cooperative Localization in Unstructured Scenarios | 2010-06-02 | Paper |
| Semiotics and human-robot interaction | 2010-06-02 | Paper |
| Q-Learning with Linear Function Approximation | 2008-01-03 | Paper |
| LD/sup 2/-ARMA identification algorithm | 1991-01-01 | Paper |
Research outcomes over time
This page was built for person: Maria Ribeiro
