Author:Jawher Jerray

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)
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) Jawher Jerray, Laurent Fribourg and Étienne André In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)