TY  - RPRT
TI  - Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
AU  - Moon Kim
AU  - Avinash Malik
AU  - Partha Roop
PY  - 2025
UR  - https://arxiv.org/abs/2506.00251
ID  - 2506.00251
ER  -