Reactive Synthesis Swen Jacobs, Martin Zimmermann


Benchmarking framework and latest slides online

Written: 15.12.2017 14:09 Written By: Swen Jacobs

Now available under Materials:

- the benchmarking framework, including more benchmarks and tools for checking and evaluating your synthesis tool

- the slides from last lecture (regarding the confusion about QBF formulas in algorithms: the formulas were correct, but the algorithms use a form of generalization that does not negate the whole formula, but only a part of it; I have added a remark to the slides)

- the paper by Bloem et al. mentioned in the slides.


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators