research
∙
07/28/2023
User-Driven Abstraction for Model Checking
Model checking has found a role in the engineering of reactive systems. ...
share
research
∙
07/25/2023
Neural Memory Decoding with EEG Data and Representation Learning
We describe a method for the neural decoding of memory from EEG data. Us...
research
∙
07/06/2023
