Lab Conditions for Research on Explainable Automated Decisions-Reference-Cited by-同舟云学术

Lab Conditions for Research on Explainable Automated Decisions

Published:2021 Issue: Volume: Page:83-90
ISSN:0302-9743
Container-title:Trustworthy AI - Integrating Learning, Optimization and Reasoning
language:
Short-container-title:

Author:

Baier Christel,Christakis Maria,Gros Timo P.,Groß David,Gumhold Stefan,Hermanns Holger,Hoffmann Jörg,Klauck Michaela

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-73959-1_8

Reference24 articles.

1. Lecture Notes in Computer Science;C Baier,2020

2. Barnaghi, P., Ganz, F., Henson, C., Sheth, A.: Computing perception from sensor data. In: SENSORS, 2012 IEEE, pp. 1–4. IEEE (2012)

3. Barto, A.G., Bradtke, S.J., Singh, S.P.: Learning to act using real-time dynamic programming. Artif. Intell. 72(1–2), 81–138 (1995). https://doi.org/10.1016/0004-3702(94)00011-O

4. Berndt, H., Emmert, J., Dietmayer, K.: Continuous driver intention recognition with hidden Markov models. In: 11th International IEEE Conference on Intelligent Transportation Systems, ITSC 2008, Beijing, China, 12–15 October 2008, pp. 1189–1194. IEEE (2008). https://doi.org/10.1109/ITSC.2008.4732630

5. Bonet, B., Geffner, H.: Labeled RTDP: improving the convergence of real-time dynamic programming. In: Giunchiglia, E., Muscettola, N., Nau, D.S. (eds.) Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), Trento, Italy, 9–13 June 2003, pp. 12–21. AAAI (2003). http://www.aaai.org/Library/ICAPS/2003/icaps03-002.php

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyzing neural network behavior through deep statistical model checking;International Journal on Software Tools for Technology Transfer;2022-12-13

2. MoGym: Using Formal Models for Training and Verifying Decision-making Agents;Computer Aided Verification;2022

3. The Modest State of Learning, Sampling, and Verifying Strategies;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

4. Automated Safety Verification of Programs Invoking Neural Networks;Computer Aided Verification;2021

5. DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning;Quantitative Evaluation of Systems;2021