Folgen
Timo P. Gros
Titel
Zitiert von
Zitiert von
Jahr
Deep Statistical Model Checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
International Conference on Formal Techniques for Distributed Objects …, 2020
232020
TraceVis: Towards Visualization for Deep Statistical Model Checking
TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz
International Symposium on Leveraging Applications of Formal Methods, 27-46, 2020
52020
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
52020
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
32020
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 …, 0
3*
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
12022
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
12022
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
HF Eniser, TP Gros, V Wüstholz, J Hoffmann, M Christakis
12022
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
International Conference on Quantitative Evaluation of Systems, 197-216, 2021
12021
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
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
12020
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
2022
aMAZEing Programming—Providing SKILLs to Fellow Students
TP Gros, PL Held, P Lauer, NO Metzger, K Weis
SKILL 2019-Studierendenkonferenz Informatik, 2019
2019
Details of the Racetrack Jani Model appearing in “Deep Statistical Model Checking”⋆
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14