| Publication | Date of Publication | Type |
|---|
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
ACM Transactions on Modeling and Computer Simulation | 2024-09-06 | Paper |
Boosting optimal symbolic planning: operator-potential heuristics
Artificial Intelligence | 2024-08-26 | Paper |
Star-Topology Decoupling in SPIN
Model Checking Software | 2023-03-21 | Paper |
Deep statistical model checking
Formal Techniques for Distributed Objects, Components, and Systems | 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
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
Tracking the race between deep reinforcement learning and imitation learning
(available as arXiv preprint) | 2021-12-08 | Paper |
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
Journal of Artificial Intelligence Research | 2020-06-26 | Paper |
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search
Journal of Artificial Intelligence Research | 2019-08-06 | Paper |
Star-topology decoupled state space search
Artificial Intelligence | 2018-05-16 | Paper |
| ``Distance? Who cares? Tailoring merge-and-shrink heuristics to detect unsolvability | 2017-07-18 | Paper |
State space search nogood learning: online refinement of critical-path dead-end detectors in planning
Artificial Intelligence | 2017-02-28 | Paper |
Goal probability analysis in MDP probabilistic planning: exploring and enhancing the state of the art
Journal of Artificial Intelligence Research | 2017-01-11 | Paper |
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization
Journal of Artificial Intelligence Research | 2016-07-05 | Paper |
BDD ordering heuristics for classical planning
Journal of Artificial Intelligence Research | 2015-01-14 | Paper |
Merge-and-Shrink Abstraction
Journal of the ACM | 2014-09-12 | Paper |
Improving delete relaxation heuristics through explicitly represented conjunctions
Journal of Artificial Intelligence Research | 2014-07-30 | Paper |
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
The Journal of Artificial Intelligence Research (JAIR) | 2012-08-27 | Paper |
A caching technique for optimizing automated service discovery
International Journal of Semantic Computing | 2011-10-10 | Paper |
Analyzing search topology without running any search: on the connection between causal graphs and \(h^{+}\)
Journal of Artificial Intelligence Research | 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
Journal of Artificial Intelligence Research | 2010-03-15 | Paper |
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
(available as arXiv preprint) | 2009-04-28 | Paper |
Probabilistic planning via heuristic forward search and weighted model counting
(available as arXiv preprint) | 2009-04-28 | Paper |
Short XORs for Model Counting: From Theory to Practice
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
Fast Directed Model Checking Via Russian Doll Abstraction
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
Conformant planning via heuristic forward search: A new approach
Artificial Intelligence | 2007-10-23 | Paper |
In defense of PDDL axioms
Artificial Intelligence | 2007-10-23 | Paper |
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
Logical Methods in Computer Science | 2007-10-11 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
scientific article; zbMATH DE number 2243406 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
scientific article; zbMATH DE number 2243410 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
scientific article; zbMATH DE number 2243372 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
| scientific article; zbMATH DE number 2038902 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1696710 (Why is no real title available?) | 2002-01-28 | Paper |
The FF planning system: Fast plan generation through heuristic search
The Journal of Artificial Intelligence Research (JAIR) | 2001-06-18 | Paper |
