Showing 1–20 of 22 results
/ Date/ Name
Mar 3, 2021Correct-by-construction reach-avoid control of partially observable linear stochastic systemsMay 1, 2023Efficient Sensitivity Analysis for Parametric Robust Markov ChainsJan 4, 2023Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal AbstractionsJan 2, 2025Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical SystemsOct 12, 2022Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic UncertaintyApr 2, 2024A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise DistributionsJan 12, 2024CTMCs with Imprecisely Timed ObservationsAug 11, 2025Best-Effort Policies for Robust Markov Decision ProcessesDec 1, 2022Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain DynamicsMar 10, 2023Decision-Making Under Uncertainty: Beyond ProbabilitiesJan 18, 2025Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating SystemsDec 24, 2021Scenario-Based Verification of Uncertain Parametric MDPsJun 2, 2024Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural CertificatesAug 7, 2025Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical SystemsApr 1, 2026Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance OptimizationOct 25, 2021Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian NoiseJan 29, 2021Balancing Wind and Batteries: Towards Predictive Verification of Smart GridsMay 17, 2022Sampling-Based Verification of CTMCs with Uncertain RatesNov 18, 2024Robust Markov Decision Processes: A Place Where AI and Formal Methods MeetNov 9, 2025Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation