There is a newer version of the record available.

Published April 26, 2024 | Version pub/irrelevant-roots-1
Software Open

ths-rwth/smtrat: pub/irrelevant-roots-1

Creators

  • 1. Theory of Hybrid Systems group @ RWTH
  • 2. Theory of Hybrid Systems - RWTH Aachen University
  • 3. Radboud University
  • 4. Eindhoven University of Technology
  • 5. RWTH Aachen University
  • 6. Trail of Bits
  • 7. Runtime Verification

Description

Release associated with the paper "Merging Adjacent Cells during Single Cell Construction".

Files

ths-rwth/smtrat-pub/irrelevant-roots-1.zip

Files (16.1 MB)

Name Size Download all
md5:2ae046a8449b70c399afffb508c85c7f
16.1 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/ths-rwth/smtrat/tree/pub/irrelevant-roots-1 (URL)