| 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 | 61 | 2023 |
| 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 | 46 | 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 | 40 | 2022 |
| Decision-making under uncertainty: beyond probabilities: Challenges and perspectives T Badings, TD Simao, M Suilen, N Jansen International Journal on Software Tools for Technology Transfer 25 (3), 375-391, 2023 | 30 | 2023 |
| 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 | 27 | 2022 |
| Scenario-based verification of uncertain parametric MDPs T Badings, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu arXiv preprint arXiv:2112.13020, 2021 | 27 | 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 | 23 | 2024 |
| 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 | 13 | 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 | 13 | 2019 |
| Data-driven yet formal policy synthesis for stochastic nonlinear dynamical systems M Nazeri, T Badings, S Soudjani, A Abate arXiv preprint arXiv:2501.01191, 2025 | 9 | 2025 |
| 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 | 8 | 2023 |
| Demand flexibility management for buildings-to-grid integration with uncertain generation V Rostampour, TS Badings, JMA Scherpen Energies 13 (24), 6532, 2020 | 8 | 2020 |
| Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates T Badings, W Koops, S Junges, N Jansen CAV, 2025 | 7* | 2025 |
| 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 | 7 | 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 | 5 | 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 | 5* | 2021 |
| Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems F Souza, T Badings, G Postma, J Jansen IEEE Transactions on Industrial Informatics, 2025 | 3 | 2025 |
| 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 |
| 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 2024 European Control Conference (ECC), 564-570, 2024 | 2 | 2024 |
| Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics M Nazeri, T Badings, AK Schmuck, S Soudjani, A Abate arXiv preprint arXiv:2508.15543, 2025 | 1 | 2025 |
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
