| Article | Authors | Year | Citations |
|---|
| IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems | B Wooding, A Lavaei | 2024 | 1 |
| IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees | B Wooding, A Lavaei | 2024 | 1 |
| Data-driven abstraction-based control synthesis | M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding | 2024 | 30 |
| PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems | B Wooding, V Horbanov, A Lavaei | 2024 | |
| Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification | O Schön, S Naseer, B Wooding, S Soudjani | 2024 | |
| Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach | B Wooding, A Lavaei, S Soudjani | 2023 | 3 |
| Robust simulation functions with disturbance refinement | B Wooding, A Lavaei, V Vahidinasab, S Soudjani | 2023 | 4 |
| Model-Based and Data-Driven Formal Synthesis of Power Systems | B Wooding | 2023 | |
| Control and management of active buildings | B Wooding, V Vahidinasab, M Kazemi, S Soudjani | 2021 | 2 |
| Operation and control of a population of active buildings at network level | B Wooding, V Vahidinasab, S Soudjani | 2021 | 3 |
| Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system | S Bogomolov, J Fitzgerald, FF Foldager, C Gamble, PG Larsen, K Pierce, ... | 2021 | 6 |
| ARCH-COMP20 Category Report: Stochastic Models. | A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... | 2020 | 15 |
| Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles | B Wooding, V Vahidinasab, S Soudjani | 2020 | 10 |
| Using formal methods and proof to verify a cando epilepsy medical device | B Wooding | 2019 | 3 |
Thanks for your blog, nice to read. Do not stop.
Thanks Mark. I have just updated the post to link to the code if you would like to do it yourself.