Articoli con mandati relativi all'accesso pubblico - Joerg HoffmannUlteriori informazioni
Non disponibili pubblicamente: 4
Explainable AI planning (XAIP): overview and the case of contrastive explanation
J Hoffmann, D Magazzeni
Reasoning Web. Explainable Artificial Intelligence: 15th International …, 2019
Mandati: US Department of Defense, German Research Foundation, UK Engineering and …
Tracking the race between deep reinforcement learning and imitation learning
TP Gros, D Höller, J Hoffmann, V Wolf
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020
Mandati: German Research Foundation
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
Mandati: 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
Mandati: German Research Foundation, Federal Ministry of Education and Research, Germany
Disponibili pubblicamente: 114
Conformant planning via heuristic forward search: A new approach
J Hoffmann, RI Brafman
Artificial Intelligence 170 (6-7), 507-541, 2006
Mandati: German Research Foundation
Merge-and-shrink abstraction: A method for generating lower bounds in factored state spaces
M Helmert, P Haslum, J Hoffmann, R Nissim
Journal of the ACM (JACM) 61 (3), 1-63, 2014
Mandati: Swiss National Science Foundation, Australian Research Council
Red–black planning: A new systematic approach to partial delete relaxation
C Domshlak, J Hoffmann, M Katz
Artificial Intelligence 221, 73-114, 2015
Mandati: German Research Foundation
Adapting an AI planning heuristic for directed model checking
S Kupferschmid, J Hoffmann, H Dierks, G Behrmann
International SPIN Workshop on Model Checking of Software, 35-52, 2006
Mandati: German Research Foundation
Message-based web service composition, integrity constraints, and planning under uncertainty: A new connection
J Hoffmann, P Bertoli, M Helmert, M Pistore
Journal of Artificial Intelligence Research 35, 49-117, 2009
Mandati: 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
Mandati: US Department of Defense, US National Aeronautics and Space Administration …
Neural network heuristics for classical planning: A study of hyperparameter space
P Ferber, M Helmert, J Hoffmann
ECAI 2020, 2346-2353, 2020
Mandati: Swiss National Science Foundation, German Research Foundation
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
Mandati: German Research Foundation
Improving delete relaxation heuristics through explicitly represented conjunctions
E Keyder, J Hoffmann, P Haslum
Journal of Artificial Intelligence Research 50, 487-533, 2014
Mandati: Australian Research Council
Deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
Mandati: 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
Mandati: Federal Ministry of Education and Research, Germany
Polynomial-time in PDDL input size: Making the delete relaxation feasible for lifted planning
P Lauer, A Torralba, D Fišer, D Höller, J Wichlacz, J Hoffmann
ICAPS 2021 Workshop on Heuristics and Search for Domain-independent Planning, 2021
Mandati: German Research Foundation
Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
M Helmert, P Haslum, J Hoffmann
AAAI, 1547-1550, 2008
Mandati: German Research Foundation
Star-topology decoupled state space search
D Gnad, J Hoffmann
Artificial Intelligence 257, 24-60, 2018
Mandati: German Research Foundation
Enhancing the context-enhanced additive heuristic with precedence constraints
D Cai, J Hoffmann, M Helmert
Proceedings of the International Conference on Automated Planning and …, 2009
Mandati: German Research Foundation
Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking
S Kupferschmid, K Dräger, J Hoffmann, B Finkbeiner, H Dierks, ...
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
Mandati: German Research Foundation
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software