10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 10 cited
Symbolic vs. Bounded Synthesis for Petri Games
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch +1
Petri games are a multiplayer game model for the automatic synthesis of distributed systems. We compare two fundamentally different approaches for solving Petri games. The symbolic…
cs.LO2009
Modular Verification of Recursive Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some…