Folgen
Timo P. Gros
Titel
Zitiert von
Zitiert von
Jahr
Deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
382020
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
TP Gros, D Höller, J Hoffmann, V Wolf
International Conference on Quantitative Evaluation of Systems, 11-17, 2020
132020
Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning
TP Gros, J Groß, V Wolf
2020 Winter Simulation Conference (WSC), 3032-3044, 2020
122020
TraceVis: towards visualization for deep statistical model checking
TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz
Leveraging Applications of Formal Methods, Verification and Validation …, 2021
112021
Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing
HF Eniser, TP Gros, V Wüstholz, J Hoffmann, M Christakis
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
102022
Debugging a Policy: Automatic Action-Policy Testing in AI Planning
M Steinmetz, D Fišer, HF Eniser, P Ferber, TP Gros, P Heim, D Höller, ...
Proceedings of the International Conference on Automated Planning and …, 2022
82022
Lab Conditions for Research on Explainable Automated Decisions
C Baier, M Christakis, TP Gros, D Groß, S Gumhold, H Hermanns, ...
Trustworthy AI–Integrating Learning, Optimization and Reasoning: First …, 2021
82021
DSMC evaluation stages: Fostering robust and safe behavior in deep reinforcement learning
TP Gros, D Höller, J Hoffmann, M Klauck, H Meerkamp, V Wolf
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021 …, 2021
72021
MoGym: Using Formal Models for Training and Verifying Decision-making Agents
TP Gros, H Hermanns, J Hoffmann, M Klauck, MA Köhl, V Wolf
International Conference on Computer Aided Verification, 430-443, 2022
52022
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version
TP Gros, D Höller, J Hoffmann, V Wolf
arXiv preprint arXiv:2008.00766, 2020
52020
Models and Infrastructure used in “Deep Statistical Model Checking”(2020)
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Available at DOI: https://doi. org/10.5281/zenodo 3760098, 0
5
Analyzing neural network behavior through deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
International Journal on Software Tools for Technology Transfer 25 (3), 407-426, 2023
42023
Tracking the race: Analyzing racetrack agents trained with imitation learning and deep reinforcement learning
TP Gros
Master's thesis, 2021
32021
Markov automata taken by Storm
TP Gros
Bachelor's thesis, Saarland University, Germany, 2018
32018
XAI Requirements in Smart Production Processes: A Case Study
D Baum, K Baum, TP Gros, V Wolf
World Conference on Explainable Artificial Intelligence, 3-24, 2023
22023
Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack
D Groß, M Klauck, TP Gros, M Steinmetz, J Hoffmann, S Gumhold
International Conference on Information Visualisation (IV’22), 2022
22022
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning–Extended Version
TP Gros, J Gross, D Höller, J Hoffmann, M Klauck, H Meerkamp, NJ Müller, ...
ACM Transactions on Modeling and Computer Simulation 33 (4), 1-28, 2023
12023
Debugging a Policy: A Framework for Automatic Action Policy Testing
M Steinmetz, TP Gros, P Heim, D Höller, J Hoffmann
PRL@ ICAPS, 2021
12021
Bridging the Gap Between AI Planning and Reinforcement Learning (PRL@ IJCAI 2023)
C Allen, T Gros, M Katz, H Kokel, H Palacios, S Sreedharan
International Joint Conference on Artificial Intelligence, 2023
2023
aMAZEing Programming—Providing SKILLs to Fellow Students
TP Gros, PL Held, P Lauer, NO Metzger, K Weis
Gesellschaft für Informatik eV, 2019
2019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20