J. Hoffmann

Available identifiers

zbMath Open hoffmann.jorgMaRDI QIDQ514136

List of research outcomes

Publication	Date of Publication	Type
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version	2024-09-06	Paper
Boosting optimal symbolic planning: operator-potential heuristics	2024-08-26	Paper
Star-Topology Decoupling in SPIN	2023-03-21	Paper
Deep Statistical Model Checking	2022-10-13	Paper
Model checking \(\omega \)-regular properties with decoupled search	2022-03-25	Paper
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning	2022-02-07	Paper
Tracking the race between deep reinforcement learning and imitation learning	2021-12-08	Paper
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison	2020-06-26	Paper
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search	2019-08-06	Paper
Star-topology decoupled state space search	2018-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q5283006	2017-07-18	Paper
State space search nogood learning: online refinement of critical-path dead-end detectors in planning	2017-02-28	Paper
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art	2017-01-11	Paper
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization	2016-07-05	Paper
BDD Ordering Heuristics for Classical Planning	2015-01-14	Paper
Merge-and-Shrink Abstraction	2014-09-12	Paper
Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions	2014-07-30	Paper
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management	2012-08-27	Paper
A CACHING TECHNIQUE FOR OPTIMIZING AUTOMATED SERVICE DISCOVERY	2011-10-10	Paper
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+	2011-06-16	Paper
Brothers in Arms? On AI Planning and Cellular Automata	2011-05-11	Paper
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings	2010-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3624023	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3624106	2009-04-28	Paper
Short XORs for Model Counting: From Theory to Practice	2009-03-10	Paper
Fast Directed Model Checking Via Russian Doll Abstraction	2008-04-11	Paper
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL	2007-11-01	Paper
Conformant planning via heuristic forward search: A new approach	2007-10-23	Paper
In defense of PDDL axioms	2007-10-23	Paper
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning	2007-10-11	Paper
Model Checking Software	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5715723	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5715727	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5715683	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449305	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q2766931	2002-01-28	Paper
The FF planning system: Fast plan generation through heuristic search	2001-06-18	Paper

Research outcomes over time

This page was built for person: J. Hoffmann