32 citations · 80 across the 14 of their papers we have counts for
4 papers · 1 filter
Safe POMDP Online Planning via Shielding
Shili Sheng, David Parker, Lu Feng
Partially observable Markov decision processes (POMDPs) have been widely used in many robotic applications for sequential decision-making under uncertainty. POMDP online planning a…
Distributional Probabilistic Model Checking
Ingy Elsayed-Aly, David Parker, Lu Feng
Probabilistic model checking can provide formal guarantees on the behavior of stochastic models relating to a wide range of quantitative properties, such as runtime, energy consump…
Multi-Agent Verification and Control with Probabilistic Model Checking
David Parker
Probabilistic model checking is a technique for formal automated reasoning about software or hardware systems that operate in the context of uncertainty or stochasticity. It builds…
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Thom Badings, Licio Romao, Alessandro Abate +4
Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynam…