View source
hcs
  • Contributors
    1. Loading...
Author Commit Message Date Builds
250+ commits behind master.
Daniel Ciolek
Adding missing SMVTranslator to PDDLTranslators.
Daniel Ciolek
Added PDDL translators and set DCS to dummy behavior temporarily.
Daniel Ciolek
Improved export functionality.
Daniel Ciolek
- Added PDDLTranslator - Fixed Tau-Loop bug in TauRemoval.
Daniel Ciolek
Renamed HCS to DCS. I also improved the javadocs.
Daniel Ciolek
Fixed extra space in live feedback.
Daniel Ciolek
Bugfixing and niptucking. - Fixed aliasing problems created by fast iterators. - Fixed performance problems in the TransitionSet class. - Refactored buildMonotonic code. - Added a stable version of the reuse of precomputed heuristic values (still the criteria to trigger the abstraction computation is unclear).
Daniel Ciolek
Added multiple optimizations. - Transition maps are used to improve suggestions gathering. - Reduced the number of cloning of Transitions sets. - New State sets iterators improve traversal speeds.
Daniel Ciolek
Started the existing suggestions optimization. - Preliminary results are promising. - Current implementation is inefficient.
Daniel Ciolek
Optimizations. - Added a logger for hcs progress to the gui. - Added fine optimizations to hcs. - Detected opportunities for other potential optimizations.
Daniel Ciolek
Fixes and nip-tucking. - Removed unused code and comments. - Refactored code. - Fixed bugs.
Daniel Ciolek
Diagnosis code. - Added missing transition to the monotonic abstraction, still the estimate misses sometimes. - Added diagnosis code for debugging and discovered a problem with updateSugestion (requires fix). - Removed filtering logic from addRecommendation since it was poor design.
Daniel Ciolek
Worked on HCS. - Changed how loops in the abstraction are detected. - Differentiated between errors and local deadlocks. - Found a bug in buildMonotonic (requires fix). - Removed some unnecessary data from the states.
Daniel Ciolek
- Fine-tuning and bug-fixing of HCS. - Modified Goals definitions and Compiler in order to be able to capture safety and co-safety goals without fluents (i.e. in terms of actions). - The modification in Goal definitions propagated a change to the updating controllers module (controllable actions are now a list, instead of FSP set identifier). - The changes in the compiler included the parsing in any order of the controller sp…
Daniel Ciolek
Heuristic controller synthesis added.