Max and Sum Semantics for Alternating Weighted Automata
Shaull Almagor and Orna Kupferman
Book Title
Automated Technology for Verification and Analysis‚ 9th International Symposium‚ ATVA 2011‚ Taipei‚ Taiwan‚ October 11−14‚ 2011. Proceedings
Editor
Tevfik Bultan and Pao−Ann Hsiung
ISBN
978−3−642−24371−4
Pages
13–27
Series
Lecture Notes in Computer Science
Volume
6996
Year
2011