A Linear-Time Nominal μ-Calculus with Name Allocation.

Daniel Hausmann Stefan Milius Lutz Schröder

Published in: MFCS (2021)

Keyphrases

resource allocation
worst case
optimal allocation
allocation scheme
allocation problems
allocation strategy
resource allocation problems
evolutionary algorithm
expert systems
data sets
linear space
artificial intelligence
machine learning
automated deduction
real time
allocation policy
database