The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices

Karsten LehmannKarsten Lehmann, Rafael PeñalozaRafael Peñaloza

Download

Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
In Heiko Vogler and Manfred Droste, eds., Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ LePe12,
  author = {Karsten {Lehmann} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications ({WATA'12})},
  editor = {Heiko {Vogler} and Manfred {Droste}},
  title = {The Complexity of Computing the Behaviour of Weighted B{\"u}chi Automata over Lattices},
  year = {2012},
}