Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

von Phalakarn, Kittiphon
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Dynamic Shielding for Reinforcement Learning in Black- Box Environments

von Waga, Masaki
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)