Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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.
Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5