2 citations · 2 across the 1 of their papers we have counts for
1 paper
Ali Khalili, Lorenzo Natale, Armando Tacchella
We consider the problem of automating the verification of distributed control software relying on publish-subscribe middleware. In this scenario, the main challenge is that softwar…