P.J. Collins

Geretti, L., Dit Sandretto, J. A., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M., & Zhuang, D. (2023). ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (Vol. 96, pp. 61-88) https://doi.org/10.29007/93f2

Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C., & Wetzlinger, M. (2022). ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (Vol. 90, pp. 86-112) https://doi.org/10.29007/fnzc

Geretti, L., Collins, P., Bresolin, D., & Villa, T. (2022). Automating Numerical Parameters Along the Evolution of a Nonlinear System. In T. Dang, & V. Stolz (Eds.), Runtime Verification - 22nd International Conference, RV 2022, Proceedings (Vol. 13498, pp. 336-345). Springer International Publishing AG. https://doi.org/10.1007/978-3-031-17196-3_22