Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane. A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. In Petr Hlinený, Václav Matyás, Tomás Vojnar, editors, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic. Volume 13 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
Abstract is missing.