Bounded synthesis

By Bernd Finkbeiner, Sven Schewe. International Journal on Software Tools for Technology Transfer (STTT), 2007

298 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/7c533a58d573bbe36a186f2b5076db14e5554417

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Yaniv Sa'ar
2. Amir Pnueli
3. Barbara Jobstmann
4. Roderick Bloem
5. Nir Piterman

In Software

1. Yaniv Sa'ar
2. Amir Pnueli
3. Barbara Jobstmann
4. Roderick Bloem
5. Nir Piterman

Citations in the corpus

• Synthesis of Reactive(1) designs (2006, background): “introduced in [27] to a reduction to Safety games [29].”