reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning … function. We extend the abstraction-refinement methodology to labeled networks, where the objectives of the players are regular …

reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning … function. We extend the abstraction-refinement methodology to labeled networks, where the objectives of the players are regular …