pith. sign in

Thom Badings

Identifiers

  • name variant Thom Badings 0.60 · backfill

Papers (18)

  1. Robust Shielding for Safe Reinforcement Learning cs.AI · 2026 · author #2
  2. Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization eess.SY · 2026 · author #2
  3. Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation cs.LG · 2025 · author #3
  4. Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics eess.SY · 2025 · author #2
  5. Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems eess.SY · 2025 · author #1
  6. Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems eess.SY · 2025 · author #2
  7. Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems eess.SY · 2025 · author #2
  8. Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet cs.AI · 2024 · author #2
  9. Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates cs.LG · 2024 · author #1
  10. A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions eess.SY · 2024 · author #1
  11. CTMCs with Imprecisely Timed Observations cs.LO · 2024 · author #1
  12. Efficient Sensitivity Analysis for Parametric Robust Markov Chains cs.LG · 2023 · author #1
  13. Decision-Making Under Uncertainty: Beyond Probabilities cs.AI · 2023 · author #1
  14. Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions eess.SY · 2023 · author #1
  15. Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics eess.SY · 2022 · author #2
  16. Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty eess.SY · 2022 · author #1
  17. Scenario-Based Verification of Uncertain Parametric MDPs cs.LO · 2021 · author #1
  18. Correct-by-construction reach-avoid control of partially observable linear stochastic systems cs.AI · 2021 · author #1

Mentions

  • 2508.15543 #2 · arxiv_oai · confidence 0.70 Thom Badings
  • 2501.01191 #2 · arxiv_oai · confidence 0.70 Thom Badings
  • 2508.05062 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2406.00826 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2501.10827 #2 · arxiv_oai · confidence 0.70 Thom Badings
  • 2411.11451 #2 · arxiv_oai · confidence 0.70 Thom Badings
  • 2404.01726 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2401.06574 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2103.02398 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2212.00679 #2 · arxiv_oai · confidence 0.70 Thom Badings
  • 2305.01473 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2303.05848 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2301.01526 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2210.05989 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2112.13020 #1 · arxiv_oai · confidence 0.70 Thom Badings
  • 2606.00270 #2 · arxiv_oai · confidence 0.70 Thom Badings

Frequent Coauthors