The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
From International Center for Computational Logic
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
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
- 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},
}