Similar Items: Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
- Digital poverty: Revisiting definitions for effective policy-making
- Iterative mixed numerical scheme for one-dimensional coupled Poisson–Schrödinger equations in nano-scale semiconductor device modeling
- Semi-Invariant Submanifolds of a Trans Sasakian Manifold with Ricci Soliton
- Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies
- Invariant Subspace Decomposition