S. Almagor
O. Kupferman
2011
Max and sum Semantics for alternating weighted automata
T. Bultan
P. Hsiung
Automated Technology for Verification and Analysis
Springer
13–27
10.1007/978-3-642-24372-1_2
M. Benedikt
Duffm T.
A. Sharad
J. Worrell
2017
Polynomial automata: Zeroness and applications
ACM/IEEE Symposium on Logic in Computer Science (LICS)
1–12
10.1109/LICS.2017.8005101
https://ora.ox.ac.uk/objects/uuid:f341421b-2130-42d7-bb21-52442bad0b80#citeForm
J.A. Brzozowski
E. Leiss
1980
On equations for regular languages, finite automata, and sequential networks
Theoretical Computer Science
10
1
19–35
10.1016/0304-3975(80)90069-9
https://www.sciencedirect.com/science/article/pii/0304397580900699
A. K. Chandra
D. C. Kozen
L. J. Stockmeyer
1981
Alternation
J. ACM
28
1
114–133
10.1145/322234.322243
K. Chatterjee
L. Doyen
T. A. Henzinger
2008
Quantitative languages
M. Kaminski
S. Martini
Computer Science Logic
Springer
385–400
10.1007/978-3-540-87531-4_28
K. Chatterjee
L. Doyen
T. A. Henzinger
2009
Alternating Weighted Automata
M. Kutyłowski
W. Charatonik
M. Gębala
Fundamentals of Computation Theory
Springer
3–13
10.1007/978-3-642-03409-1_2
E. Muller D
P. E. Schupp
1987
Alternating automata on infinite trees
Theoretical Computer Science
54
2
267–276
10.1016/0304-3975(87)90133-2
https://www.sciencedirect.com/science/article/pii/0304397587901332
G. De Giacomo
M. Y. Vardi
2013
Linear temporal logic and linear dynamic logic on finite traces
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence
AAAI Press
854–860
10.5555/2540128.2540252
http://dl.acm.org/citation.cfm?id=2540128.2540252
M. Droste
S. Dück
2015
Weighted automata and logics on graphs
G. F. Italiano
G. Pighizzini
D. T. Sannella
Mathematical Foundations of Computer Science 2015
Springer
192–204
10.1007/978-3-662-48057-1_15
M. Droste
P. Gastin
2007
Weighted automata and weighted logics
Theoretical Computer Science
380
1
69–86
10.1016/j.tcs.2007.02.055
https://www.sciencedirect.com/science/article/pii/S0304397507001582
Automata, Languages and Programming
M. Droste
P. Gastin
2009
Weighted Automata and Weighted Logics
5
1
Droste
10.1007/978-3-642-01492-5_5
M. Droste
D. Götze
2017
A Nivat theorem for quantitative automata on unranked trees
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
22–35
10.1007/978-3-319-63121-9_2
M. Droste
W. Kuich
H. Vogler
2009
Handbook of Weighted Automata
1st
1
Springer
10.1007/978-3-642-01492-5
M. Droste
D. Kuske
2021
Weighted automata
113–150
1
Pin
10.4171/Automata-1/4
M. Droste
H. Vogler
2006
Weighted tree automata and weighted logics
Theoretical Computer Science
366
3
228 – 247
10.1016/j.tcs.2006.08.025
http://www.sciencedirect.com/science/article/pii/S0304397506005676
Automata and Formal Languages
M. Droste
H. Vogler
2011
Weighted logics for unranked tree automata
Theory of Computing Systems
48
1
23–47
10.1007/s00224-009-9224-4
Z. Fülöp
H. Vogler
2009
Weighted Tree Automata and Tree Transducers
9
1
Droste
10.1007/978-3-642-01492-5_9
P. Kostolányi
F. Mišún
2018
Alternating weighted automata over commutative semirings
Theoret. Comput. Sci.
740
1 – 27
10.1016/j.tcs.2018.05.003
http://www.sciencedirect.com/science/article/pii/S0304397518303098
J. van Leeuwen
1995
Computer Science Today: Recent Trends and Developments
1
Springer
10.1007/BFb0015232
M. Nivat
1968
Transductions des langages de Chomsky
Annales de l'Institut Fourier
18
1
339–455
10.5802/aif.287
http://www.numdam.org/articles/10.5802/aif.287/
Jean-Éric Pin
2021
Handbook of Automata Theory
1st
1
European Mathematical Society
10.4171/Automata
M.P. Schützenberger
1961
On the definition of a family of automata
Inform. and Control
4
2
245 – 270
10.1016/S0019-9958(61)80020-X
http://www.sciencedirect.com/science/article/pii/S001999586180020X
M. Y. Vardi
1995
Alternating automata and program verification
471–485
1
van Leeuwen
10.1007/BFb0015261