Fair computational tree logic

Fair computational tree logic is conventional computational tree logic studied with explicit fairness constraints.

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited…