Alternation-free weighted mu-calculus: decidability and completeness

Kim G. Larsen, Radu Mardare, Bingtian Xue

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)
19 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Alternation-free weighted mu-calculus: decidability and completeness'. Together they form a unique fingerprint.

Computer Science