2 citations · 2 across the 1 of their papers we have counts for
1 paper
Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath
One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specific…