Spremljaj
Thom Badings
Thom Badings
Postdoctoral researcher, University of Oxford
Preverjeni e-poštni naslov na cs.ox.ac.uk - Domača stran
Naslov
Navedeno
Navedeno
Leto
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
412023
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
332022
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
292023
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
202022
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
192022
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
172023
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
112019
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
102020
Demand flexibility management for buildings-to-grid integration with uncertain generation
V Rostampour, TS Badings, JMA Scherpen
Energies 13 (24), 6532, 2020
82020
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
72019
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
42023
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
4*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
22024
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
22024
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
22024
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
22023
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
12024
Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation
T Badings
12019
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
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20