We present a novel method to compute assume-guarantee contracts in
non-z...
We present a novel method to compute permissive winning strategies in
tw...
We solve the problem of automatically computing a new class of environme...
The notion of separating automata was introduced by Bojanczyk and Czerwi...
share