| 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 | 10 | 2022 |
| 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 | 8 | 2019 |
| 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 | 7 | 2022 |
| Sampling-based verification of CTMCs with uncertain rates TS Badings, N Jansen, S Junges, M Stoelinga, M Volk Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022 | 7 | 2022 |
| 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 | 6 | 2020 |
| Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty T Badings, L Romao, A Abate, N Jansen arXiv preprint arXiv:2210.05989, 2022 | 5 | 2022 |
| 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 | 4 | 2023 |
| Demand flexibility management for buildings-to-grid integration with uncertain generation V Rostampour, TS Badings, JMA Scherpen Energies 13 (24), 6532, 2020 | 4 | 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 | 4 | 2019 |
| Filter-Based Abstractions for Safe Planning of Partially Observable Dynamical Systems TS Badings, N Jansen, HA Poonawala, M Stoelinga arXiv preprint arXiv:2103.02398, 2021 | 3* | 2021 |
| Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids TS Badings, A Hartmanns, N Jansen, M Suilen NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event …, 2021 | 2 | 2021 |
| Decision-making under uncertainty: beyond probabilities T Badings, TD Simão, M Suilen, N Jansen arXiv preprint arXiv:2303.05848, 2023 | 1 | 2023 |
| Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation T Badings | 1 | 2019 |
| Efficient Sensitivity Analysis for Parametric Robust Markov Chains T Badings, S Junges, A Marandi, U Topcu, N Jansen arXiv preprint arXiv:2305.01473, 2023 | | 2023 |
| Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics L Rickard, T Badings, L Romao, N Jansen, A Abate arXiv preprint arXiv:2212.00679, 2022 | | 2022 |
| Data Validation and Reconciliation for the Assessment of Gas Transport Systems T Badings | | 2019 |
| Buildings-To-Grid Integration with High Wind Power Penetration VR Samarin, T Badings, JMA Scherpen 58th Conference on Decision and Control (CDC2019), 2019 | | 2019 |
| Design of the Cooling System of the PLATO Camera Test Facility TS Badings Faculty of Science and Engineering, 2017 | | 2017 |
| Design of the Liquid Handling in a Continuous 96-Well Microbioreactor System TS Badings Faculty of Science and Engineering, 2016 | | 2016 |
Nils JansenAssociate Professor, Radboud University NijmegenVerified email at science.ru.nl
