Keyword:periodicity

Publications
ORBITADOR: A tool to analyze the stability of periodical dynamical systems Jawher Jerray In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)