Lisa Willemsen – Research output — University of Twente Research Information

Research activity per year

If you made any changes in Pure these will be visible here soon.

1 Conference contribution
1 Paper

1 results

Filter

2022
ARCH-COMP22 Category Report: Stochastic Models
Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S. & Willemsen, L., 13 Dec 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 113–141 29 p. (EPiC Series in Computing; vol. 90).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Open Access
File
8 Downloads (Pure)