Quantum physics may sound abstract, but Ph.D. candidates Kirsten Kanneworff and David Dechant show that quantum research can also be very concrete. Together, they are investigating how quantum ...
Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...
Abstract: This paper is concerned with the problem of policy evaluation with linear function approximation in discounted infinite horizon Markov decision processes ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results