research
∙
12/14/2022
Reinforcement Learning in System Identification
System identification, also known as learning forward models, transfer f...
share
research
∙
08/23/2018
Enhancing POI testing approach through the use of additional information
Recently, a new approach to perform regression testing has been defined:...
research
∙
08/23/2018
Runtime verification in Erlang by using contracts
During its lifetime, a program suffers several changes that seek to impr...
research
∙
02/12/2018
Erlang Code Evolution Control (Use Cases)
The main goal of this work is to show how SecEr can be used in different...
research
∙
09/15/2017
