Author:
Haesaert Sofie,Van den Hof Paul M.J.,Abate Alessandro
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference39 articles.
1. Piecewise affine approximation of fluxes and enzyme kinetics from in-vivo~13C labeling experiments;Abate;International Journal of Robust and Nonlinear Control,2012
2. Principles of model checking;Baier,2008
3. Learning temporal logical properties discriminating ECG models of cardiac arrhytmias;Bartocci;CoRR,2013
4. Model checking genetic regulatory networks with parameter uncertainty;Batt,2007
5. Symbolic planning and control of robot motion [grand challenges of robotics];Belta;IEEE Robotics & Automation Magazine,2007
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献