Articles with public access mandates - Jani DCPLearn more
Not available anywhere: 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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
Available somewhere: 47
The quantitative verification benchmark set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
International Conference on Tools and Algorithms for the Construction and …, 2019
Mandates: German Research Foundation, Netherlands Organisation for Scientific Research
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
Mandates: 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
Mandates: 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
Mandates: German Research Foundation
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report
CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...
International symposium on leveraging applications of formal methods, 216-241, 2020
Mandates: US National Science Foundation, National Natural Science Foundation of China …
Deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: US Department of Defense, German Research Foundation
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
Mandates: 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
Mandates: German Research Foundation, Helmholtz Association, Federal Ministry of …
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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Publication and funding information is determined automatically by a computer program