SAT Encodings for Solving Games with Energy Objectives
暂无分享,去创建一个
[1] Keijo Heljanko,et al. Solving parity games by a reduction to SAT , 2012, Journal of computer and system sciences (Print).
[2] Marcin Jurdzinski,et al. Small Progress Measures for Solving Parity Games , 2000, STACS.
[3] Kim G. Larsen,et al. Infinite Runs in Weighted Timed Automata with Energy Constraints , 2008, FORMATS.
[4] A. Ehrenfeucht,et al. Positional strategies for mean payoff games , 1979 .
[5] Eugene Asarin,et al. A Satisfiability Checker for Difference Logic , 2007 .
[6] L. Brim,et al. Faster algorithms for mean-payoff games , 2011, Formal Methods Syst. Des..
[7] Thomas A. Henzinger,et al. Resource Interfaces , 2003, EMSOFT.
[8] Yuri Gurevich,et al. Trees, automata, and games , 1982, STOC '82.