Weighted automata and weighted logics
@inproceedings{DRAG05, address = {Berlin, Heidelberg}, author = {Droste, Manfred and Gastin, Paul}, booktitle = {Automata, Languages and Programming}, doi = {10.1007/11523468_42}, editor = {Caires, Lu{\'i}s and Italiano, Giuseppe F. and Monteiro, Lu{\'i}s and Palamidessi, Catuscia and Yung, Moti}, isbn = {978-3-540-31691-6,978-3-540-27580-0}, pages = {513--525}, publisher = {Springer Berlin Heidelberg}, sha256 = {2F2EC6CCEFF2975A62F76F16E64F923AB1A6CB9D8791AFCA5991D20EEE8853DE}, title = {Weighted automata and weighted logics}, year = {2005} }