Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.

Gal Amram Shahar Maoz Or Pistiner Jan Oliver Ringert

Published in: CoRR (2020)

Keyphrases

fixed point
policy iteration
learning algorithm
search algorithm
relational databases
worst case
sufficient conditions
differential equations
stationary points