2 items found

Licenses: License Not Specified Tags: 110309 Infectious Diseases Developmental Biology Medicine Space Science quot Groups: Datacite ZENODO Types: software

Filter Results
  • software

    Polaris: A Separation Logic For Concurrent Randomized Programs

    This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The...
  • software

    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...