There is a newer version of the record available.

Published May 23, 2022 | Version v6
Software Open

Raboniel a reactive synthesis tool for temporal stream logic modulo theories.

Creators

  • 1. Graz University of Technology

Description

Raboniel a reactive synthesis tool for temporal stream logic modulo theories.

Files

artifact.zip

Files (30.8 MB)

Name Size Download all
md5:6ea0ef7f97495e2ae17962d5f1fa4cdb
30.8 MB Preview Download