When not losing is better than winning: Abstraction and refinement for the full mu-calculus

@article{Grumberg2007WhenNL,
  title={When not losing is better than winning: Abstraction and refinement for the full mu-calculus},
  author={Orna Grumberg and Martin Lange and Martin Leucker and Sharon Shoham},
  journal={Inf. Comput.},
  year={2007},
  volume={205},
  pages={1130-1148}
}
This work presents a novel game-based approach to abstraction-refinement for the full -calculus, interpreted over 3-valued semantics. A novel notion of non-losing strategy is introduced and exploited for refinement. Previous works on refinement in the context of 3-valued semantics require a direct algorithm for solving a 3-valued model checking game. This was necessary in order to have the information needed for refinement available on one game board. In contrast, while still considering a 3… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…