Sebastian Arming
Papers
1
Total Citations
2
H-Index
1
About
Sebastian Arming is a researcher in formal verification and probabilistic systems, with a focus on advancing the analysis and control of partially observable Markov decision processes (POMDPs) and probabilistic Markov decision processes (pMDPs). His most notable contribution, the 2018 paper "Parameter-Independent Strategies for pMDPs via POMDPs," introduces a novel framework that leverages POMDP techniques to synthesize robust strategies for pMDPs without relying on system parameters. This work bridges critical gaps in automated reasoning under uncertainty, offering scalable solutions for safety-critical applications like robotics and autonomous systems. While his citation count is modest, the conceptual depth of his research has influenced peers working on parameter-independent verification. Arming’s approach demonstrates a keen ability to translate complex theoretical models into practical algorithmic tools, making his work a valuable reference for students and researchers exploring the intersection of probabilistic modeling and decision-making under partial observability.
Research Focus
Key Achievements
Top Papers
- 1Parameter-Independent Strategies for pMDPs via POMDPs2 citations · 2018