34 citations · 78 across the 22 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015★ 2 cited
A Note on Monitors and Büchi automata
Volker Diekert, Anca Muscholl, Igor Walukiewicz
When a property needs to be checked against an unknown or very complex system, classical exploration techniques like model-checking are not applicable anymore. Sometimes a~monitor…
cs.FL2015★ 1 cited
Automated Synthesis of Distributed Controllers
Anca Muscholl
Synthesis is a particularly challenging problem for concurrent programs. At the same time it is a very promising approach, since concurrent programs are difficult to get right, or…