1 paper
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
Synthesis of models and strategies is a very important problem in software engineering. The main element here is checking the satisfiability of formulae expressing the specificatio…