Artikel dengan mandat akses publik - Marcel SteinmetzPelajari lebih lanjut
Tidak tersedia di mana pun: 2
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
Mandat: German Research Foundation
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack
D Groß, M Klauck, TP Gros, M Steinmetz, J Hoffmann, S Gumhold
2022 26th International Conference Information Visualisation (IV), 1-10, 2022
Mandat: German Research Foundation, Federal Ministry of Education and Research, Germany
Tersedia di suatu tempat: 47
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
Mandat: National Natural Science Foundation of China, German Research Foundation …
A new approach to plan-space explanation: Analyzing plan-property dependencies in oversubscription planning
R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9818-9826, 2020
Mandat: US Department of Defense, US National Aeronautics and Space Administration …
Goal probability analysis in probabilistic planning: Exploring and enhancing the state of the art
M Steinmetz, J Hoffmann, O Buffet
Journal of Artificial Intelligence Research 57, 229-271, 2016
Mandat: German Research Foundation
Deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
Mandat: German Research Foundation, European Commission
Stackelberg planning: Towards effective leader-follower state space search
P Speicher, M Steinmetz, M Backes, J Hoffmann, R Künnemann
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
Mandat: Federal Ministry of Education and Research, Germany
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning
M Steinmetz, J Hoffmann
Artificial Intelligence 245, 1-37, 2017
Mandat: German Research Foundation
Towards dynamic dependable systems through evidence-based continuous certification
R Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Mandat: German Research Foundation
Towards clause-learning state space search: Learning to recognize dead-ends
M Steinmetz, J Hoffmann
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
Mandat: German Research Foundation
Plan-space explanation via plan-property dependencies: Faster algorithms & more powerful properties
R Eifler, M Steinmetz, A Torralba, J Hoffmann
Proceedings of the Twenty-Ninth International Conference on International …, 2021
Mandat: US Department of Defense, German Research Foundation
Revisiting goal probability analysis in probabilistic planning
M Steinmetz, J Hoffmann, O Buffet
Proceedings of the International Conference on Automated Planning and …, 2016
Mandat: German Research Foundation
Bridging the gap between probabilistic model checking and probabilistic planning: Survey, compilations, and empirical comparison
M Klauck, M Steinmetz, J Hoffmann, H Hermanns
Journal of Artificial Intelligence Research 68, 247-310, 2020
Mandat: German Research Foundation, Helmholtz Association, Federal Ministry of …
Combining the delete relaxation with critical-path heuristics: A direct characterization
M Fickert, J Hoffmann, M Steinmetz
Journal of Artificial Intelligence Research 56, 269-327, 2016
Mandat: German Research Foundation
Explaining the space of plans through plan-property dependencies
R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz
Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019), 61-68, 2019
Mandat: US Department of Defense, US National Aeronautics and Space Administration …
Expressivity of planning with horn description logic ontologies
S Borgwardt, J Hoffmann, A Kovtunova, M Krötzsch, B Nebel, M Steinmetz
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5503-5511, 2022
Mandat: German Research Foundation
Pattern databases for goal-probability maximization in probabilistic planning
T Klößner, J Hoffmann, M Steinmetz, A Torralba
Proceedings of the International Conference on Automated Planning and …, 2021
Mandat: German Research Foundation
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
M Steinmetz, J Hoffmann
IJCAI, 4398-4404, 2017
Mandat: German Research Foundation, Federal Ministry of Education and Research, Germany
Faster stackelberg planning via symbolic search and information sharing
Á Torralba, P Speicher, R Künnemann, M Steinmetz, J Hoffmann
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11998 …, 2021
Mandat: German Research Foundation, Helmholtz Association
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
Mandat: German Research Foundation
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer