Skip to search formSkip to main contentSkip to account menu

Fair computational tree logic

Fair computational tree logic is conventional computational tree logic studied with explicit fairness constraints.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited…