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

From International Center for Computational Logic

Toggle side column

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

Karsten LehmannKarsten Lehmann,  Rafael PeñalozaRafael Peñaloza
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
@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},
}