Progress, Justness and Fairness in Modal μ-Calculus Formulae.

Myrthe S. C. Spronck Bas Luttik Tim A. C. Willemse

Published in: CONCUR (2024)

Keyphrases

transition systems
resource allocation
game theory
nonmonotonic logics
data sets
artificial intelligence
modal logic
provably correct
computer algebra