Lisa Willemsen


Research activity per year

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

Search results

  • 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 proceedingConference contributionAcademic

    Open Access
    8 Downloads (Pure)