Otus

Otus is a partially symbolic reactive synthesis tool developed in the LTL and omega automata library Owl that uses the mutithreaded BDD library Sylvan to symbolically construct a DPW that is converted to a game and solved symbolically. It is developed as part of a Master thesis at the University of Twente by Remco Abraham under supervision of Tom van Dijk and Salomon Sickert. This package contains the software, the raw data of the experiments and the scripts used to collect the data.