Alternation-free weighted mu-calculus: decidability and completeness

Kim G. Larsen, Radu Mardare, Bingtian Xue

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)
2 Downloads (Pure)

Fingerprint

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

Mathematics

Engineering & Materials Science