Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning.

Shiwen Yu Ting Wang Ji Wang

Published in: ISSTA (2023)

Keyphrases

reinforcement learning
function approximation
state space
probabilistic inference
dynamic programming
moment invariants
neural network
combinatorial optimization
multi agent
optimal policy
dynamical systems
markov decision processes
affine invariant
partially observable
solve complex tasks