@inproceedings(ABHKMS12,
 author       = {Ji{\v{r}}\'i Ad\'amek and Filippo Bonchi and Mathias H\"{u}lsbusch and Barbara K\"{o}nig and Stefan Milius and Alexandra Silva},
 year         = {2012},
 title        = {A Coalgebraic Perspective on Minimization and Determinization},
 booktitle    = {Proc. of FOSSACS '12},
 publisher    = {Springer},
 pages        = {58--73},
 doi          = {10.1007/978-3-642-28729-9\_4},
 note         = {{LNCS/ARCoSS} 7213},
)
@inproceedings(abk:decidable-weighted-automata,
 author       = {Shaull Almagor and Udi Boker and Orna Kupferman},
 year         = {2011},
 title        = {What's Decidable about Weighted Automata?},
 booktitle    = {Proc. of ATVA '11},
 publisher    = {Springer},
 pages        = {482--491},
 doi          = {10.1007/978-3-642-24372-1\_37},
 note         = {{LNCS} 6996},
)
@inproceedings(bls:conjugacy,
 author       = {Mariel-Pierre B\'{e}al and Slyvain Lombardy and Jacques Sakarovitch},
 year         = {2006},
 title        = {Conjugacy and Equivalence of Weighted Automata and Functional Transducers},
 booktitle    = {Prof. of CSR '06},
 publisher    = {Springer},
 pages        = {58--69},
 doi          = {10.1007/11753728\_9},
 note         = {{LNCS} 3967},
)
@inproceedings(bkks:cts-upgrades,
 author       = {Harsh Beohar and Barbara K\"onig and Sebastian K\"upper and Alexandra Silva},
 year         = {2017},
 title        = {Conditional Transition Systems with Upgrades},
 booktitle    = {Proc. of TASE '17 (Theoretical Aspects of Software Engineering)},
 note         = {To appear},
)
@inproceedings(bkk:up-to-weighted,
 author       = {Filippo Bonchi and Barbara K\"onig and Sebastian K\"upper},
 year         = {2017},
 title        = {Up-To Techniques for Weighted Systems},
 booktitle    = {Proc. of TACAS '17, Part~I},
 publisher    = {Springer},
 pages        = {535--552},
 doi          = {10.1007/978-3-662-54577-5\_31},
 note         = {{LNCS} 10205},
)
@inproceedings(bp:checking-nfa-equiv,
 author       = {Filippo Bonchi and Damien Pous},
 year         = {2013},
 title        = {Checking {NFA} equivalence with bisimulations up to congruence},
 booktitle    = {Proc. of POPL '13},
 publisher    = {ACM},
 pages        = {457--468},
 doi          = {10.1145/2429069.2429124},
)
@inproceedings(b:weighted-bisimulation,
 author       = {Michele Boreale},
 year         = {2009},
 title        = {Weighted bisimulation in linear algebraic form},
 booktitle    = {Proc. of CONCUR '09},
 publisher    = {Springer},
 pages        = {163--177},
 doi          = {10.1007/978-3-642-04081-8\_12},
 note         = {{LNCS} 5710},
)
@article(Classen:2013:FTS,
 author       = {Andreas. Classen and Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay and Jean-Fran{\c{c}}ois Raskin},
 year         = {2013},
 title        = {Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to {LTL} Model Checking},
 journal      = {IEEE Trans. Softw. Eng.},
 volume       = {39},
 number       = {8},
 pages        = {1069--1089},
 doi          = {10.1109/TSE.2012.86},
)
@inproceedings(DBLP:conf/icse/CordyCPSHL12,
 author       = {Maxime Cordy and Andreas Classen and Gilles Perrouin and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay},
 year         = {2012},
 title        = {Simulation-based abstractions for software product-line model checking},
 booktitle    = {Proc. of ICSE '12},
 pages        = {672--682},
 doi          = {10.1109/ICSE.2012.6227150},
)
@book(opac-b1085541,
 author       = {Cuninghame-Green, Raymond A.},
 year         = {1979},
 title        = {Minimax algebra},
 series       = {Lecture Notes in Economics and Mathematical Systems},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-3-642-48708-8},
)
@book(Hensel:lifting,
 author       = {Abhijit Das and C. E. Veni Madhavan},
 year         = {2009},
 title        = {{P}ublic-{K}ey {C}ryptography: {T}heory and {P}ractice},
 publisher    = {{P}earson {E}ducation},
 note         = {{p}p. 295-296},
)
@book(dp:lattices-order,
 author       = {Brian A. Davey and Hilary A. Priestley},
 year         = {2002},
 title        = {Introduction to lattices and order},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511809088},
)
@book(hwaDKV,
 editor       = {Manfred Droste and Werner Kuich and Heiko Vogler},
 year         = {2009},
 title        = {Weighted Automata Algorithms},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-01492-5\_6},
)
@inproceedings(Esparza2014,
 author       = {Javier Esparza and Michael Luttenberger and Maximilian Schlund},
 year         = {2014},
 title        = {FPsolve: A Generic Solver for Fixpoint Equations over Semirings},
 booktitle    = {Proc. of CIAA '14},
 publisher    = {Springer},
 pages        = {1--15},
 doi          = {10.1007/978-3-319-08846-4\_1},
 note         = {{LNCS} 8587},
)
@inproceedings(kmoww:language-equ-prob,
 author       = {Stefan Kiefer and Andrzej S. Murawski and Joel Ouaknine and Bj{\"o}rn Wachter and James Worrell},
 year         = {2011},
 title        = {Language Equivalence for Probabilistic Automata},
 booktitle    = {Proc. of CAV '11},
 publisher    = {Springer},
 pages        = {526--540},
 doi          = {10.1007/978-3-642-22110-1\_42},
 note         = {{LNCS} 6806},
)
@inproceedings(KK14,
 author       = {Barbara K{\"o}nig and Sebastian K{\"u}pper},
 year         = {2014},
 title        = {Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata},
 booktitle    = {Proc. of TCS '14},
 series       = {IFIP AICT},
 publisher    = {Springer},
 pages        = {311--325},
 doi          = {10.1007/978-3-662-44602-7\_24},
 note         = {{LNCS} 8705},
)
@article(KK16,
 author       = {Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper},
 year         = {2016},
 title        = {A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata},
 journal      = {Soft Computing},
 pages        = {1--18},
 doi          = {10.1007/s00500-016-2363-z},
)
@article(Krob94theequality,
 author       = {Daniel Krob},
 year         = {1994},
 title        = {The equality problem for rational series with multiplicities in the tropical semiring is undecidable},
 journal      = {International Journal of Algebra and Computation},
 volume       = {4},
 number       = {3},
 pages        = {405--425},
 doi          = {10.1142/S0218196794000063},
)
@article(doi:10.1142/S0129054110007192,
 author       = {Orna Kupferman and Yoad Lustig},
 year         = {2010},
 title        = {Latticed Simulation Relations and Games},
 journal      = {International Journal of Foundations of Computer Science},
 volume       = {21},
 number       = {02},
 pages        = {167--189},
 doi          = {10.1142/S0129054110007192},
)
@mastersthesis(m:gen-werkzeug-sprachaequ,
 author       = {Christine Mika},
 year         = {2015},
 title        = {{Ein generisches Werkzeug f{\"u}r Sprach{\"a}quivalenz bei gewichteten Automaten}},
 school       = {Universit\"at Duisburg-Essen},
)
@book(p:prob-automata,
 author       = {A. Paz},
 year         = {1971},
 title        = {Introduction to Probabilistic Automata},
 publisher    = {Academic Press, New York},
)
@article(DBLP:journals/iandc/Schutzenberger61b,
 author       = {Marcel-Paul Sch{\"u}tzenberger},
 year         = {1961},
 title        = {On the Definition of a Family of Automata},
 journal      = {Information and Control},
 volume       = {4},
 number       = {2--3},
 pages        = {245--270},
 doi          = {10.1016/s0019-9958(61)80020-x},
)
@article(t:polynomial-equ-prob-automata,
 author       = {Wen-Guey Tzeng},
 year         = {1992},
 title        = {A polynomial-time algorithm for the equivalence of probabilistic automata},
 journal      = {SIAM Journal on Computing},
 volume       = {21},
 number       = {2},
 pages        = {216--227},
 doi          = {10.1137/0221017},
)