scholarly journals Symbolic BDD and ADD Algorithms for Energy Games

2016 ◽  
Vol 229 ◽  
pp. 35-54 ◽  
Author(s):  
Shahar Maoz ◽  
Or Pistiner ◽  
Jan Oliver Ringert
Keyword(s):  
Energy Games

Efficient Algorithms for Omega-Regular Energy Games

2021 ◽  
pp. 163-181
Author(s):  
Gal Amram ◽  
Shahar Maoz ◽  
Or Pistiner ◽  
Jan Oliver Ringert
Keyword(s):  
Efficient Algorithms ◽  
Energy Games

scholarly journals Energy Games in Multiweighted Automata

2011 ◽  
pp. 95-115 ◽  
Author(s):  
Uli Fahrenberg ◽  
Line Juhl ◽  
Kim G. Larsen ◽  
Jiří Srba
Keyword(s):  
Energy Games

scholarly journals Polynomial-Time Algorithms for Energy Games with Special Weight Structures

Algorithmica ◽  
2013 ◽  
Vol 70 (3) ◽  
pp. 457-492 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Monika Henzinger ◽  
Sebastian Krinninger ◽  
Danupon Nanongkai
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithms ◽  
Special Weight ◽  
Energy Games ◽  
Weight Structures

scholarly journals Average-energy games

2015 ◽  
Vol 193 ◽  
pp. 1-15 ◽  
Author(s):  
Patricia Bouyer ◽  
Nicolas Markey ◽  
Mickael Randour ◽  
Kim G. Larsen ◽  
Simon Laursen
Keyword(s):  
Average Energy ◽  
Energy Games

scholarly journals Bounding Average-Energy Games

2017 ◽  
pp. 179-195 ◽  
Author(s):  
Patricia Bouyer ◽  
Piotr Hofman ◽  
Nicolas Markey ◽  
Mickael Randour ◽  
Martin Zimmermann
Keyword(s):  
Average Energy ◽  
Energy Games
Sign in / Sign up

Export Citation Format

Share Document