Author:
Monier Yan,Denis Bruno,Faraut Gregory,Anwer Nabil
Reference13 articles.
1. A Parametric Computational Model of the Action Potential of Pacemaker Cells;Ai;IEEE Transactions on Biomedical Engineering,2018
2. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
3. Chemical Case Studies in KeYmaera X;Bohrer,2022
4. Gurung, A., Waga, M., and Suenaga, K. (2023). Learning Nonlinear Hybrid Automata from Input–Output Time-Series Data. In E. Andre and J. Sun (eds.), Automated Technology for Verification and Analysis, 33–52. Springer Nature Switzerland, Cham. doi:10.1007/978-3-031-45329-82.
5. Henzinger, T.A. (2000). The Theory of Hybrid Automata. In M.K. Inan and R.P. Kurshan (eds.), Verification of Digital and Hybrid Systems, 265–292. Springer. doi: 10.1007/978-3-642-59615-513.