| 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 | 25 | 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 | 23 | 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 | 17 | 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 | 14 | 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 | 11 | 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 | 11 | 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 | 9 | 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 | 8 | 2019 |
| Demand flexibility management for buildings-to-grid integration with uncertain generation V Rostampour, TS Badings, JMA Scherpen Energies 13 (24), 6532, 2020 | 6 | 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 | 5 | 2019 |
| 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 |
| Filter-Based Abstractions for Safe Planning of Partially Observable Dynamical Systems TS Badings, N Jansen, HA Poonawala, M Stoelinga arXiv e-prints, arXiv: 2103.02398, 2021 | 3* | 2021 |
| 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 | 2 | 2023 |
| Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation T Badings | 1 | 2019 |
| 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 | | 2024 |
| 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 | | 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 | | 2024 |
| Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions T Badings, N Jansen, L Romao, A Abate arXiv preprint arXiv:2311.09786, 2023 | | 2023 |
| 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 | | 2023 |
| Robust Abstraction-Based Planning in Stochastic Dynamical Models with Epistemic Uncertainty TS Badings, L Romao, A Abate, N Jansen Delft: TU Delft OPEN Publishing, 2023 | | 2023 |
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum在 rub.de 的电子邮件经过验证
