-
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
Cyberbridge_GUI
This is the GUI developed in Matlab for the Cyberbridge project presented and implemented in the Structural Engineering course at Chalmers University of Technology. -
A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning: The P...
A* search-based planner for Oversubscription Planning, as described in the paper A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning... -
ACRMGroup/epitopes v1.0
Code and data for our paper on analysis of epitope discontinuity and conformation: B-cell Epitopes: Discontinuity and Conformational Analysis Saba Ferdousa,b, Sebastian... -
MATLAB code for the CbCI algorithm (an immunization algorithm)
MATLAB code for the CbCI algorithm, an immunization algorithm for networks with community structure. It requires a data file for the community structure,... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...
