6 citations · 7 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
Gal Amram, Shahar Maoz, Or Pistiner +1
-regular energy games, which are weighted two-player turn-based games with the quantitative objective to keep the energy levels non-negative, have been used in the context of ve…
cs.LO2017★ 6 cited
Performance Heuristics for GR(1) Synthesis and Related Algorithms
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially…