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

Abstract

Peer reviewed

6th International Workshop on Weighted Automata: Theory and Applications, WATA 2012, Dresden, Germany, May 29 - June 2, 2012, pp.65-65

6th International Workshop on Weighted Automata Theory and Applications (WATA 2012) (Dresden, 29/05/2012 - 02/06/2012)

2012

Handle:

https://hdl.handle.net/10863/3315

Files and links (2)

url

https://wwwtcs.inf.tu-dresden.de/wata2012/View

url

https://wwwtcs.inf.tu-dresden.de/wata2012/Proceedings.pdfView

Title: The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
Creators: Karsten Lehmann
Rafael Peñaloza Nyssen
Publication Details: 6th International Workshop on Weighted Automata: Theory and Applications, WATA 2012, Dresden, Germany, May 29 - June 2, 2012, pp.65-65
Editor(s): Vogler H, Droste M
Conference: 6th International Workshop on Weighted Automata Theory and Applications (WATA 2012) (Dresden, 29/05/2012 - 02/06/2012)
Publisher: TU Dresden
Dresden
Format: Online
Number of pages: 1
Identifiers: (UNIBZ)411060
991005801651601241
Scopus ID: n.a.
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Abstract
Author Names String: Lehmann K, Peñaloza R
Additional Description: srcEditors: Vogler H, Droste M

21 Record Views