Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2020). Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. Ieee Access.
Islam, M. A., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., et al. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599C. (Original work published 2015)
