| Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions T Badings, L Romao, A Abate, D Parker, HA Poonawala, M Stoelinga, ... Journal of Artificial Intelligence Research 76, 341-391, 2023 | 41 | 2023 |
| Sampling-based robust control of autonomous systems with non-gaussian noise TS Badings, A Abate, N Jansen, D Parker, HA Poonawala, M Stoelinga Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9669-9678, 2022 | 34 | 2022 |
| Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty T Badings, L Romao, A Abate, N Jansen Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14701 …, 2023 | 28 | 2023 |
| Scenario-based verification of uncertain parametric MDPs T Badings, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu International Journal on Software Tools for Technology Transfer 24 (5), 803-819, 2022 | 21 | 2022 |
| Sampling-based verification of CTMCs with uncertain rates TS Badings, N Jansen, S Junges, M Stoelinga, M Volk International Conference on Computer Aided Verification, 26-47, 2022 | 18 | 2022 |
| Decision-making under uncertainty: beyond probabilities: Challenges and perspectives T Badings, TD Simão, M Suilen, N Jansen International Journal on Software Tools for Technology Transfer 25 (3), 375-391, 2023 | 16 | 2023 |
| Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems TS Badings, DS van Putten Journal of Petroleum Science and Engineering 195, 107567, 2020 | 10 | 2020 |
| Distributed building energy storage units for frequency control service in power systems TS Badings, V Rostampour, JMA Scherpen IFAC-PapersOnLine 52 (4), 228-233, 2019 | 10 | 2019 |
| Demand flexibility management for buildings-to-grid integration with uncertain generation V Rostampour, TS Badings, JMA Scherpen Energies 13 (24), 6532, 2020 | 7 | 2020 |
| Buildings-to-grid integration with high wind power penetration V Rostampour, TS Badings, JMA Scherpen 2019 IEEE 58th Conference on Decision and Control (CDC), 2976-2981, 2019 | 6 | 2019 |
| Formal controller synthesis for markov jump linear systems with uncertain dynamics L Rickard, T Badings, L Romao, A Abate International Conference on Quantitative Evaluation of Systems, 10-29, 2023 | 4 | 2023 |
| Balancing wind and batteries: towards predictive verification of smart grids TS Badings, A Hartmanns, N Jansen, M Suilen NASA Formal Methods Symposium, 1-18, 2021 | 3* | 2021 |
| Correct-by-construction reach-avoid control of partially observable linear stochastic systems T Badings, HA Poonawala, M Stoelinga, N Jansen arXiv preprint arXiv:2103.02398, 2021 | 3* | 2021 |
| Robust markov decision processes: A place where AI and formal methods meet M Suilen, T Badings, EM Bovy, D Parker, N Jansen Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 2 | 2024 |
| Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies T Badings, W Koops, S Junges, N Jansen arXiv preprint arXiv:2406.00826, 2024 | 2 | 2024 |
| A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions T Badings, L Romao, A Abate, N Jansen arXiv preprint arXiv:2404.01726, 2024 | 2 | 2024 |
| Efficient Sensitivity Analysis for Parametric Robust Markov Chains T Badings, S Junges, A Marandi, U Topcu, N Jansen International Conference on Computer Aided Verification, 62-85, 2023 | 2 | 2023 |
| CTMCs with imprecisely timed observations T Badings, M Volk, S Junges, M Stoelinga, N Jansen International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation T Badings | 1 | 2019 |
| Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems F Souza, T Badings, G Postma, J Jansen arXiv preprint arXiv:2501.10827, 2025 | | 2025 |
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
