Quantitative solution of omega-regular games

Luca de Alfaro, Rupak Majumdar

Journal of Computer and System Sciences · 2003 · 137 citations · 26 references

Concepts

References

26