( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assured Reinforcement Learning with Formally Verified Abstract Policies.

, , , и . ICAART (2), стр. 105-117. SciTePress, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Adolf Radusch

Hans-Joachim Raduach

Georgeta Radu

Florin Radu

Konrad Radunski

 

Другие публикации лиц с тем же именем

CADS*: Computer-Aided Development of Self-* Systems., и . FASE, том 5503 из Lecture Notes in Computer Science, стр. 421-424. Springer, (2009)Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.. UCC Companion, стр. 163. ACM, (2019)Detection and Mitigation of Rare Subclasses in Neural Network Classifiers., и . CoRR, (2019)Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems., , , , , и . IEEE Trans. Reliab., 65 (1): 107-125 (2016)From Pluralistic Normative Principles to Autonomous-Agent Rules., , , , , , , и . Minds Mach., 32 (4): 683-715 (2022)Uncertainty in Self-adaptive Systems: A Research Community Perspective., , , , , и . ACM Trans. Auton. Adapt. Syst., 15 (4): 10:1-10:36 (2020)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , и . CoRR, (2021)Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents., , , , , и . CoRR, (2023)Bayesian Learning for the Robust Verification of Autonomous Robots., , , , , и . CoRR, (2023)Quantitative Verification with Adaptive Uncertainty Reduction., , , и . CoRR, (2021)