Parity Automata for Quantitative Linear Time Logics.

Corina Crstea, Shunsuke Shimizu, Ichiro Hasuo

Browse the full CALCO paper archive.