| Arch-comp21 category report: Stochastic models A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 27 | 2021 |
| Learning optimal decisions for stochastic hybrid systems M Niehage, A Hartmanns, A Remke Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021 | 17 | 2021 |
| Arch-comp22 category report: stochastic models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing 90, 113-141, 2022 | 14 | 2022 |
| Towards safe and resilient hybrid systems in the presence of learning and uncertainty J Adelt, P Herber, M Niehage, A Remke International Symposium on Leveraging Applications of Formal Methods, 299-319, 2022 | 12 | 2022 |
| HPnGs go non-linear: Statistical dependability evaluation of battery-powered systems C Pilch, M Niehage, A Remke 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation …, 2018 | 12 | 2018 |
| Simulating Hybrid Petri nets with general transitions and non-linear differential equations M Niehage, C Pilch, A Remke Proceedings of the 13th EAI International Conference on Performance …, 2020 | 10 | 2020 |
| Learning that grid-convenience does not hurt resilience in the presence of uncertainty M Niehage, A Remke International Conference on Formal Modeling and Analysis of Timed Systems …, 2022 | 5 | 2022 |
| Shielded learning for resilience and performance based on statistical model checking in simulink J Adelt, S Bruch, P Herber, M Niehage, A Remke International Conference on Bridging the Gap between AI and Reality, 94-118, 2023 | 4 | 2023 |
| The best of both worlds: Analytically-guided simulation of hpngs for optimal reachability M Niehage, A Remke EAI International Conference on Performance Evaluation Methodologies and …, 2023 | 3 | 2023 |
| Symbolic state-space exploration meets statistical model checking M Niehage, A Remke Performance Evaluation 167, 102449, 2025 | 1 | 2025 |
| ARCH-COMP22 Stochastic Models A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... EPiC Series in Computing, 2022 | | 2022 |
| ARCHCOMP22 Category Report A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ... Stochastic models, 2022 | | 2022 |
| The Best of Both Worlds: Analytically-Guided Statistical Model Checking for Hpngs M Niehage, A Remke Available at SSRN 4760574, 0 | | |
