scholarly journals Weighted Automata and Weighted Logics

2009 ◽  
pp. 175-211 ◽  
Author(s):  
Manfred Droste ◽  
Paul Gastin
Keyword(s):  
Weighted Automata ◽  
Weighted Logics

scholarly journals Weighted automata and weighted logics with discounting

2009 ◽  
Vol 410 (37) ◽  
pp. 3481-3494 ◽  
Author(s):  
Manfred Droste ◽  
George Rahonis
Keyword(s):  
Weighted Automata ◽  
Weighted Logics

Weighted automata and weighted logics on infinite words

2010 ◽  
Vol 54 (1) ◽  
pp. 26-45 ◽  
Author(s):  
M. Droste ◽  
G. Rahonis
Keyword(s):  
Infinite Words ◽  
Weighted Automata ◽  
Weighted Logics

scholarly journals Weighted automata and weighted logics

2007 ◽  
Vol 380 (1-2) ◽  
pp. 69-86 ◽  
Author(s):  
Manfred Droste ◽  
Paul Gastin
Keyword(s):  
Weighted Automata ◽  
Weighted Logics

scholarly journals Pebble Weighted Automata and Weighted Logics

2014 ◽  
Vol 15 (2) ◽  
pp. 1-35 ◽  
Author(s):  
Benedikt Bollig ◽  
Paul Gastin ◽  
Benjamin Monmege ◽  
Marc Zeitoun
Keyword(s):  
Weighted Automata ◽  
Weighted Logics

scholarly journals A unifying survey on weighted logics and weighted automata

2015 ◽  
Vol 22 (4) ◽  
pp. 1047-1065 ◽  
Author(s):  
Paul Gastin ◽  
Benjamin Monmege
Keyword(s):  
Weighted Automata ◽  
Weighted Logics

scholarly journals Modeling of safe time Petri nets by interval weighted automata

2020 ◽  
Vol 53 (4) ◽  
pp. 187-192
Author(s):  
Jan Komenda ◽  
Aiwen Lai ◽  
José Godoy Soto ◽  
Sébastien Lahaye ◽  
Jean-louis Boimond
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Weighted Automata
Sign in / Sign up

Export Citation Format

Share Document