Jörg Hoffmann

Available identifiers

zbMath Open hoffmann.jorgMaRDI QIDQ514136

List of research outcomes

Publication	Date of Publication	Type
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
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/Q5715683	2006-01-04	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/Q4449305	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q2766931	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2717791	2001-06-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jörg Hoffmann