Publications
2023
ARCH-COMP23 Category Report: Stochastic ModelsIn Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 126-150). EasyChair. Abate, A., Blom, H., Cauchi, N., Delicaris, J., Haesaert, S., Huijgevoort, B. v., Lavaei, A., Remke, A., Schön, O., Schupp, S., Shmarov, F., Soudjani, S., Willemsen, L. & Zuliani, P.https://doi.org/10.29007/k7s6Comparing Two Approaches to Include Stochasticity in Hybrid AutomataIn Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings, Article Chapter 17 (pp. 238-254). Springer Nature. Willemsen, L., Remke, A. & Ábrahám, E.https://doi.org/10.1007/978-3-031-43835-6_17Comparing Two Approaches to Include Stochasticity in Hybrid Automata. ArXiv.org. Willemsen, L., Remke, A. & Ábrahám, E.Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study (Accepted/In press). Mense, S., Höveler, K., Blohm, P. & Willemsen, L.
2022
ARCH-COMP22 Category Report: Stochastic ModelsIn Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). EasyChair. 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.https://doi.org/10.29007/lsvc
Research profiles
Address
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
University of Twente
Zilverling (building no. 11), room 5042
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 5042
P.O. Box 217
7500 AE Enschede
Netherlands