3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.ET2022★ 3 cited
Neuropunk Revolution. Hacking Cognitive Systems towards Cyborgs 3.0
Max Talanov, Jordi Vallverdu, Andrew Adamatzky +18
This work is dedicated to the review and perspective of the new direction that we call "Neuropunk revolution" resembling the cultural phenomenon of cyberpunk. This new phenomenon h…
cs.LO2015★ 1 cited
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Noe Hernandez, Kerstin Eder, Evgeni Magid +2
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A sign…