On a Priced Resource-bounded Alternating μ-Calculus.

Dario Della Monica, Giacomo Lenzi

Browse the full ICAART paper archive.