30 citations · 152 across the 17 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018★ 3 cited
Bounded Synthesis of Register Transducers
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Reactive synthesis aims at automatic construction of systems from their behavioural specifications. The research mostly focuses on synthesis of systems dealing with Boolean signals…
cs.LO2018
Reactive Synthesis: Branching Logics and Parameterized Systems
Ayrat Khalimov
Reactive synthesis is an automatic way to translate a human intention expressed in some logic into a system of some kind. This thesis has two parts, devoted to logic and to systems…