@misc{indiciae4d84f907b7e6, title = {Formalizing Neuromorphic Control Systems: A General Proposal and A Rhythmic Case Study}, author = {Taisia Medvedeva and Alessio Franci and Fernando CastaƱos}, year = {2025}, url = {https://arxiv.org/abs/2506.10203}, note = {Source identifier: 2506.10203} }